Kurt Godel i twierdzenie o niedowodliwości spójności

Dział dla użytkowników nie lubiących googlować ;) Konkretne zagadnienia matematyczne w sieci, skrypty online, poszukiwania wszelakie acz KONKRETNE!
Jergosh
Użytkownik
Użytkownik
Posty: 3
Rejestracja: 9 kwie 2007, o 16:25
Płeć: Mężczyzna
Lokalizacja: Łódź

Kurt Godel i twierdzenie o niedowodliwości spójności

Post autor: Jergosh »

Pamiętam, że oglądałem kiedys program w telewizji o twierdzeniach Godla i jako przyklad twierdzenia którego niedowodliwosci nie mozna dowiesc (sic!) bylo podane zadanie o polu golfowym i o pilkach wyskakujacych z dolkow (mniej wiecej: 'mamy pole golfowe z nieskonczona iloscia dolkow. Jezeli pilka wpadnie do dolka o nieparzystym numerze to wyskakuje i wpada do dolka z numerem o 3 wiekszym. Jezeli natomiast wpadnie do dolka o numerze parzystym, przeskakuje do dolka o dwa razy mniejszym numerze...' i tyle pamietam ;)) Czy ktos z forumowiczów jest w stanie wyszukac to zadanie (ja nie jestem w stanie ani po polsku ani po angielsku) albo po prostu je zna to bardzo prosze o pomoc.

Z gory dziekuje i prosze o szybka odpowiedz,
Grzesiek.
ODPOWIEDZ