Stran 1 od 1

Goedel in njegovi izreki o trditvah

Objavljeno: Ne Jul 30, 2017 8:19 pm
Napisal/-a Ptolomej
A lahko kdo kaj več napiše tukaj o tem? Kdo je Goedel in kaj pravijo njegove ugotovitve iz logike o izjavah.

Re: Goedel in njegovi izreki o trditvah

Objavljeno: Po Jul 31, 2017 10:59 am
Napisal/-a NumberNinja1
https://www.quora.com/Whats-the-easiest-way-to-understand-G%C3%B6dels-Incompleteness-Theorems

Precej zanimive trditve, ki pa se jih hitro da razumeti narobe...
So take, da je njihova formalnost zapisa izjemno pomembna.