Zobrazeno 1 - 10
of 102
pro vyhledávání: '"Gödel, Kurt"'
Autor:
Friedman, Harvey, Marek, Victor
Publikováno v:
Communications of the ACM. Oct2018, Vol. 61 Issue 10, p6-6. 1/4p.
Autor:
Hofstadter, Douglas
Publikováno v:
TIME Magazine. 3/29/1999, Vol. 153 Issue 12, p132. 3p. 3 Black and White Photographs, 1 Chart.
Autor:
Kovač, Srećko1 (AUTHOR) skovac@ifzg.hr
Publikováno v:
Inquiry. Mar2008, Vol. 51 Issue 2, p147-169. 23p.
Autor:
Dawson Jr., John W.
Publikováno v:
Scientific American. Jun99, Vol. 280 Issue 6, p76. 6p. 1 Color Photograph, 4 Black and White Photographs.
Autor:
Pierre Cassou-Noguès
Le but de cet article est de mettre en évidence un programme gödelien, faisant suite au programme formaliste. Les théorèmes de 1931, sur l’incomplétude de l’arithmétique élémentaire, marquent l’échec du programme formaliste, tel que Hi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f6629bbadce95f4cecb0fe49b2b83a7
http://journals.openedition.org/cahierscfv/2274
http://journals.openedition.org/cahierscfv/2274
