Zabavno dejstvo iz sveta matematike
1/998001 nam da urejeno zaporedje od 000 do 999. 1/998001 = 0.000001002003004...

Zabavno dejstvo iz sveta računalništva
Leta 1936 so Rusi naredili računalnik na vodo. (Vir: http://gizmodo.com/5879106/the-russian-computer-that-ran-on-water)

Goedel in njegovi izreki o trditvah

Tu pride v poštev vse v zvezi z matematiko in forumom. Kuharski recepti so najstrožje prepovedani...

Moderatorji: LukaH, Ptolomej

Ptolomej
Prispevkov: 253
Pridružen: Po Apr 24, 2017 9:02 pm
Kraj: Celje

Goedel in njegovi izreki o trditvah

OdgovorNapisal/-a Ptolomej » Ne Jul 30, 2017 8:19 pm

A lahko kdo kaj več napiše tukaj o tem? Kdo je Goedel in kaj pravijo njegove ugotovitve iz logike o izjavah.
Meje mojega jezika so meje mojega sveta.- Ludwig Wittgenstein

NumberNinja1
Prispevkov: 19
Pridružen: Ne Maj 14, 2017 10:32 am

Re: Goedel in njegovi izreki o trditvah

OdgovorNapisal/-a NumberNinja1 » Po Jul 31, 2017 10:59 am

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.


Vrni se na “Razno”

Kdo je na strani

Po forumu brska: 0 registriranih uporabnikov in 10 gostov