Results 71 to 80 of about 5,644 (162)
Gödel’s Incompleteness Theorems and Physics
Principia: An International Journal of Epistemology, 2011 This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere.
Newton C. A. da Costa
doaj
Computational reverse mathematics and foundational analysis [PDF]
, 2018 Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which
Eastaugh, Benedict
core +1 more source
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
A Modal Interpretation of Quantum Spins and Its Application to Freudian Theory. [PDF]
Entropy (Basel), 2022 Battilotti G, Borozan M, Grotto RL.
europepmc +1 more source
Completeness of Infinitary Heterogeneous Logic
Notre Dame Journal of Formal LogicGiven a regular cardinal $ $ such that $ ^{
openaire +3 more sources
Publicity and Common Commitment to Believe. [PDF]
Erkenntnis, 2023 Williams JRG.
europepmc +1 more source
arXivWe define a new class of infinitary logics $\mathscr L^1_{\kappa,\alpha}$ generalizing Shelah's logic $\mathbb L^1_\kappa$ defined in \cite{MR2869022}. If $\kappa=\beth_\kappa$ and $\alpha
Vaananen, Jouko, Velickovic, Boban
openaire +3 more sources
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source