Intuitionistic Proof Versus Classical Truth

Intuitionistic Proof Versus Classical Truth

The Role of Brouwer's Creative Subject in Intuitionistic Mathematics

Martino, Enrico

Springer Nature Switzerland AG






15 a 20 dias


Descrição não disponível.
Brouwer, Dummett and the bar theorem.- Creative subject and bar theorem.- Natural intuitionistic semantics and generalized Beth semantics.- Connection between the principle of inductive evidence and the bar theorem.- On the Brouwerian concept of negative continuity.- Classical and intuitionistic semantical groundedness.- Brouwer's equivalence between virtual and inextensible order.- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds.- Propositions and judgements in Martin-Loef.- Negationless Intuitionism.- Temporal and atemporal truth in intuitionistic mathematics.- Arbitrary reference in mathematical reasoning.- The priority of arithmetical truth over arithmetical provability.- The impredicativity of the intuitionistic meaning of logical constants.- The intuitionistic meaning of logical constants and fallible models.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Informal Intuitionistic Proof;Creative Subject;Bar Theorem;Type Theory;Constructivism;Inductive Evidence;Semantical Groundedness;Impredicativity;Intuitionistic Choice Sequences;Beth-Models;Fallible Models;Brouwer realistic truth;Brouwer classical truth;Brouwer intuitionistic truth;Brouwer creative subject;Brouwer Michael Dummett;Brouwer Saul Kripke;Brouwer Per Martin-Loef;Brouwer Arend Heyting