Logic, Philosophy and Gödel
@logicphilosophyandgodel2253
Semantic Analyticity and Carnapian Logicism
Analyticité sémantique et logicisme carnapien
★
★
★
★
☆
4/5
On set theoretic reflection principles
Sur les principes de réflexion en théorie des ensembles
★
★
★
★
☆
4/5
Why three ways of doing mathematics became rival philosophies
Pourquoi trois façons de faire des mathématiques sont devenues des philosophies rivales
★
★
★
★
☆
4/5
The continuing challenge of Poincare, Hilbert, and Gödel
Le défi continu de Poincare, Hilbert et Gödel
★
★
★
★
★
5/5
Geometrized arithmetic and the unity of mathematics
Arithmétique géométrisée et l'unité des mathématiques
★
★
★
★
☆
4/5
Undefinability and Absolute Undefinability in Arithmetic
Indéfinissabilité et indéfinissabilité absolue en arithmétique
★
★
★
★
☆
4/5
Milestones and Small Steps in Model Theory of Arithmetic
Jalons et petits pas dans la théorie des modèles de l'arithmétique
★
★
★
★
☆
4/5
Reverse mathematics over a weak base theory
Mathématiques inverses sur une théorie de base faible
★
★
★
★
★
5/5
What are consistency proofs and what should they be
Que sont les preuves de cohérence et que devraient-elles être ?
★
★
★
★
☆
4/5
Reverse Mathematics: classifying theorems
Mathématiques inverses : classification des théorèmes
★
★
★
★
☆
4/5
New results on incompleteness and ordinal analysis
Nouveaux résultats sur l'incomplétude et l'analyse ordinale
★
★
★
★
★
5/5
Lecture series on concrete incompleteness-2: Proof theory of Peano Arithmetic
Série de conférences sur l'incomplétude concrète-2 : Théorie de la preuve de l'arithmétique de Peano
★
★
★
★
☆
4/5
On concrete incompleteness-4: Friedman style independence results for ordinals and finite trees
Sur l'incomplétude concrète-4 : résultats d'indépendance style Friedman pour les ordinaux et les arbres finis
★
★
★
★
☆
4/5
Lecture series on concrete incompleteness-5: Phase transitions
Série de conférences sur l'incomplétude concrète-5: Transitions de phase
★
★
★
★
☆
4/5
Lecture series on concrete incompleteness-3: Paris Harrington theorem
Série de conférences sur l'incomplétude concrète-3 : Théorème de Paris Harrington
★
★
★
★
☆
4/5
Lecture series on concrete incompleteness-1: Cut elimination theorem
Série de conférences sur l'incomplétude concrète-1 : Théorème d'élimination des coupures
★
★
★
★
☆
4/5
On the (non)existence of proof sytems in universal proof theory
Sur la (non)existence des systèmes de preuve en théorie de la preuve universelle
★
★
★
★
☆
4/5
Tarski's Truth Theory and Response to Objections
La théorie de la vérité de Tarski et réponse aux objections
★
★
★
★
☆
4/5
A conversational explanation of cognitive intuition
Une explication conversationnelle de l'intuition cognitive
★
★
★
★
☆
4/5
AGAINST LOGICAL PLURALISM: AN ARGUMENT FROM NORMATIVITY
CONTRE LE PLURALISME LOGIQUE : UN ARGUMENT DE LA NORMATIVITÉ
★
★
★
★
☆
4/5
Normal forms of proofs in natural deduction II: complexity
Formes normales des preuves en déduction naturelle II : complexité
★
★
★
★
☆
4/5
Normal forms of proofs in natural deduction I: existence and uniqueness
Formes normales de preuves en déduction naturelle I : existence et unicité
★
★
★
★
★
5/5
History of Mathematical Logic in China: From its beginnings to Tsinghua University
Histoire de la logique mathématique en Chine : de ses débuts à l’Université Tsinghua
★
★
★
★
☆
4/5
