Necessity and Contingency: Quantum Mechanics and Empiricist Modalism
Nécessité et contingence : Mécanique quantique et modalisme empiriste
★
★
★
★
☆
4/5
Logic, Philosophy and Gödel
@logicphilosophyandgodel2253
The Provability of Consistency: Debunking the Myth
La prouvabilité de la cohérence : Démystifier le mythe
★
★
★
★
☆
4/5
Was the Later Wittgenstein a Transcendental ？
Le dernier Wittgenstein était-il un transcendantal ?
★
★
★
★
☆
4/5
Was the Early Wittgenstein a Transcendental Idealist?
Le premier Wittgenstein était-il un idéaliste transcendantal ?
★
★
★
★
☆
4/5
Methodological frames: mathematical structuralism and proof theory
Cadres méthodologiques : structuralisme mathématique et théorie de la preuve
★
★
★
★
★
5/5
Juan P. Aguilera: The Pi^1_2 Consequences of a theory
Juan P. Aguilera: Les conséquences Pi^1_2 d'une théorie
★
★
★
★
☆
4/5
Saul Aaron Kripke: A Model-Theoretic Approach to Gödel’s Theorem
Saul Aaron Kripke : Une approche théorique des modèles du théorème de Gödel
★
★
★
★
★
5/5
Taishi Kurahashi: Inclusions between quantified provability logics
Taishi Kurahashi: Inclusions entre logiques de prouvabilité quantifiées
★
★
★
★
☆
4/5
Ulrich Kohlenbach: From the Foundations of Mathematics to Applications in Core Mathematics
Ulrich Kohlenbach: Des fondements des mathématiques aux applications en mathématiques fondamentales
★
★
★
★
★
5/5
Pavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versions
Pavel Pudlák: Théorèmes d'incomplétude pour les théories faibles de l'arithmétique et quelques versions plus fortes
★
★
★
★
☆
4/5
Michael Rathjen: Hilbert’s program and (semi) Intuitionism
Michael Rathjen: Le programme de Hilbert et le (semi) intuitionnisme
★
★
★
★
☆
4/5
Lev D. Beklemishev: Reflection Algebras and Progressions
Lev D. Beklemishev: Algèbres de Réflexion et Progressions
★
★
★
★
★
5/5
Sam Sanders: Some theorems are more equal than others: a slow introduction to Reverse Mathematics
Sam Sanders : Certains théorèmes sont plus égaux que d'autres : une introduction lente aux mathématiques inverses
★
★
★
★
☆
4/5
Ralf Schindler: How many real numbers are there?
Ralf Schindler : Combien y a-t-il de nombres réels ?
★
★
★
★
★
5/5
Matthias Baaz: Kurt Gödel and Alfred Tarski:The Extremes of Logic
Matthias Baaz: Kurt Gödel et Alfred Tarski: Les extrêmes de la logique
★
★
★
★
☆
4/5
Matthias Baaz: Incompleteness and attempted proofs of consistency
Matthias Baaz : Incomplétude et tentatives de preuves de cohérence
★
★
★
★
☆
4/5
Joost J. Joosten: Iterated consistency, reflection and foundations of mathematics
Joost J. Joosten: cohérence itérée, réflexion et fondements des mathématiques
★
★
★
★
☆
4/5
Fedor Pakhomov: Kripke-Platek set theory
Fedor Pakhomov: Théorie des ensembles de Kripke-Platek
★
★
★
★
☆
4/5
David Fernandez-Duque: When Ackermann meets Goodstein
David Fernandez-Duque: Quand Ackermann rencontre Goodstein
★
★
★
★
☆
4/5
Anton Freund: Independence without computational strength
Anton Freund : Indépendance sans force computationnelle
★
★
★
★
☆
4/5
Andreas Weiermann: Cut elimination and provably recursive functions
Andreas Weiermann: Élimination des coupures et fonctions récursives prouvablement
★
★
★
★
☆
4/5
Stanislaw Krajewski: Can our understanding of numbers be programmed into a computer?
Stanislaw Krajewski : Notre compréhension des nombres peut-elle être programmée dans un ordinateur ?
★
★
★
★
☆
4/5
Sam Sanders: On two topics dear to Kurt Gödel
Sam Sanders: Sur deux sujets chers à Kurt Gödel
★
★
★
★
☆
4/5
Saeed Salehi: Some Fairies in the Incompleteness Wonderland
Saeed Salehi: Quelques fées au pays des merveilles de l'incomplétude
★
★
★
★
★
5/5