scholarly journals Godel Theorem is Invalid

Author(s):  
Ulisses Ferreira J
Keyword(s):  
2006 ◽  
Vol 103 (2) ◽  
pp. 101-110 ◽  
Author(s):  
Juliet Floyd ◽  
Hilary Putnam ◽  
Keyword(s):  

2000 ◽  
Vol 97 (11) ◽  
pp. 624-632 ◽  
Author(s):  
Juliet Floyd ◽  
Hilary Putnam ◽  
Keyword(s):  

2000 ◽  
Vol 97 (11) ◽  
pp. 624 ◽  
Author(s):  
Juliet Floyd ◽  
Hilary Putnam
Keyword(s):  

1986 ◽  
Vol 32 (19-24) ◽  
pp. 377-384 ◽  
Author(s):  
C. P. Schnorr

2019 ◽  
Vol 17 (1) ◽  
pp. 17-29
Author(s):  
V. V. Tselishchev ◽  
A. V. Khlebalin

The article discusses the reasons for the emergence of intensional structures in mathematical discourse with the example of the proof of the Second Gödel Theorem on the incompleteness of arithmetic. It is shown that one of the reasons for intensionality is the conceptual structure, including the transition from strictly mathematical formulations to their interpretation. Three stages of intensionality are analyzed – coding, constructing a predicate of proof, and constructing a self-reference sentence. It is shown that the choice between the alternatives at each stage is the source of intensionality.


Sign in / Sign up

Export Citation Format

Share Document