Gd̲el's way : exploits into an undecidable world /
"Kurt Gd̲el (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory admi...
Main Authors: | 182465 Chaitin, Gregory J., Doria, Francisco Antn̥io, Costa, Newton C. A. da |
---|---|
Format: | |
Language: | eng |
Published: |
Boca Raton : CRC Press,
c201
|
Subjects: |
Similar Items
-
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
by: 429964 Davis, Martin
Published: (1965) -
Logic II : proof [kasetvideo]
Published: ([19-) -
Logic II - proof [filem]
Published: ([n.d) -
Word problems II /
by: Higman, G., et al.
Published: (1980) -
Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ
by: Nazanin Roshandel Tavana
Published: (2023-09-01)