Godel '96 - 9781568811536
Un libro in lingua di Godel 9 (1996 Brno Czech Republic) Hajek Petr (EDT) 96 Godel Petr Hajek edito da A K Peters Ltd, 2001
- € 41.80
- Il prezzo è variabile in funzione del cambio della valuta d’origine
The proceedings of the 1996 conference in Brno, the Czech Republic (birthplace of Kurt G(:o)del, in whose honor the conference was held) have been reprinted in a paper edition, making it more accessible to the scholars, researchers and graduate students who will be its audience. Topics include: G(:o)del's program for new axioms, infinite-valued G(:o)del logics with 0-1 projections and relativizations, contributions of G(:o)del to relativity and cosmology, G(:o)del and the constructive mathematics of A.A. Markov, Hao Wang as philosopher, generalizing Turing's machines and arguments, forcing on bounded arithmetic, and uniform and layered bisimulation. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Informazioni bibliografiche
- Titolo del Libro in lingua: Godel '96
- Sottotitolo: Logical Foundations of Mathematics, Computer Science, and Physics -- Kurt Godel's Legacy
- Lingua: English
- Autori : Godel 9 (1996 Brno Czech Republic) Hajek Petr (EDT) 96 Godel Petr Hajek
- Editore: A K Peters Ltd
- Collana: A K Peters Ltd (Paperback)
- Data di Pubblicazione: 01 Gennaio '01
- Genere: MATHEMATICS
- Argomenti : Logic, Symbolic and mathematical Congresses Mathematics Philosophy Congresses Computer science Congresses
- Pagine: 322
- Peso gr: 520
- Dimensioni mm: 228 x 165 x 19
- ISBN-10: 1568811535
- EAN-13: 9781568811536