Kurt Gödel második nemteljességi tétele is buktatja az elsőt

godel_2_tetele.JPG

Kétely, Megismerés, Bizonyosság c. tudományos konferencia: Prof. Dr. Pintz János előadása

www.youtube.com/watch?v=rgXE40hNHY8

Előadásában elhangzottakat (~30 percnél) ha jól és helyesen értelmezzük, akkor Gödel második nemteljességi tértele cáfolja is egyben az elsőt? Ez számomra nem meglepő, csak az eddigi kb féltucatnyi bizonyítékhoz + még egy bizonyíték, hogy Gödel első tétele nem jó, nem helyes, nem is tétel. Lényegében csak egy paradoxon.

Gödel második nemteljességi tétel: " ...az egyik ilyen eldönthetetlen és bizonyíthatatlan állítás, pont az hogy a rendszer ellentmondásmentes ..." 

bővebben itt