Jump to content

Zanimljive slike


Recommended Posts

  • Replies 1.9k
  • Created
  • Last Reply

Top Posters In This Topic

Tomke ... objasni!

1. Problem zaustavljanja.

Pitanje je sledeće: Ako imaš Univerzalnu Tjuringovu Mašinu, da li postoji opšti algoritam koji može utvrditi da li za proizvoljni program i input, mašina izvršava taj program za konačno vreme, ili ga izvršava beskonačno mnogo vremena.

Odgovor: Tjuring je pokazao da takav algoritam ne postoji.

Jedna od posledica ovoga je da ne postoji opšti algoritam koji može utvrditi da li je neka proizvoljna tvrdnja o prirodnim brojevima istinita ili ne, pošto se problem zaustavljanja Tjuringove Mašine može preslikati na problem nad skupom prirodnih brojeva.

Dalje čitanje: http://en.wikipedia.org/wiki/Halting_problem,

2. Hajzenbergov princip. Mislim da ovo ne treba razjašnjavati, pošto su skoro svi upoznati sa njim.

3. Drugi Gedelov teorem nekompletnosti.

Peano je bio matematičar koji je formalizovao prirodne brojeve, tj. postavio skup aksioma (tzv. Peanova aritmetika) iz kojih je moguće dokazati sva svojstva prirodnih brojeva. Drugim rečima, to je skup aksioma na osnovu koga je moguće utvrditi da li je bila koja tvrdnja o prirodnim brojevima istinita ili ne. Ovo sve važi samo pod uslovom da su aksiomi konzistentni, a to znači, da polazeći samo od ovih aksioma ne smemo da dođemo do kontradikcije, kao što je npr. 0=1. Dokazivanje konzistentnosti Peanovih aksioma je zato bio važan matematički problem i David Hilbert ga je uvrstio među svoja 23 problema (izbor važnih matematičkih problema sa početka XX veka). Problem je u neku ruku rešio Kurt Gedel teoremom koji tvrdi, ne samo da takav dokaz nije moguće dati u okviru Peanove aritmetike, već i da nije moguće konstruisati takvu Peanovu aritmetiku u okviru koje će biti moguće dokazati njenu konzistentnost.

Dalje čitanje: http://en.wikipedia.org/wiki/Hilberts_second_problem#First_incompleteness_theorem, http://en.wikipedia.org/wiki/Hilbert%27s_problems

You're all gonna die. Then you'll be dead for way longer than you're alive; like, that's mostly what you're ever gonna be. You're just dead people that didn't die yet...

Link to comment
Share on other sites

jeli je TF "taj fazon" ili "team fortress"

kad smo vec kod tablica, sestra mi je pre 3 dana poslala SMS "Videla sam tablicu LOL"

prva reakcija mi je bila "zasto je smesna cinjenica da je videla tablicu, i od kad ona koristi "lol"?"

da bih posle 3 sekunde shvatio da je zapravo videla tablicu na kojoj pise "lol" :))

Link to comment
Share on other sites

Guest
This topic is now closed to further replies.



×
×
  • Create New...