Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
też inne twierdzenie, zwane dziś II twierdzeniem Gödla, a głoszące, że dowód niesprzeczności teorii sformalizowanej zawierającej arytmetykę liczb naturalnych nie może być przeprowadzony w metamatematyce nie operującej środkami wykraczającymi poza te, które mieszczą się w samej rozważanej teorii, czyli, mówiąc może trochę nieprecyzyjnie: za pomocą tego, co skończone, nie można usprawiedliwić tego, co nieskończone
też inne twierdzenie, zwane dziś II twierdzeniem Gödla, a głoszące, że dowód niesprzeczności teorii sformalizowanej zawierającej arytmetykę liczb naturalnych nie może być przeprowadzony w metamatematyce nie operującej środkami wykraczającymi poza te, które mieszczą się w samej rozważanej teorii, czyli, mówiąc może trochę nieprecyzyjnie: za pomocą tego, co skończone, nie można usprawiedliwić tego, co nieskończone
