Logique des mathématiques
Thema PBCD
The Logic of Quantified Statements (Predicate Logic)
La logique des énoncés quantifiés (logique des prédicats)
★
★
★
★
☆
4/5
The continuing challenge of Poincare, Hilbert, and Gödel
Le défi continu de Poincare, Hilbert et Gödel
★
★
★
★
★
5/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
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
The Provability of Consistency: Debunking the Myth
La prouvabilité de la cohérence : Démystifier le mythe
★
★
★
★
☆
4/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
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
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
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
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
Sam Sanders: On two topics dear to Kurt Gödel
Sam Sanders: Sur deux sujets chers à Kurt Gödel
★
★
★
★
☆
4/5