
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.


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 ?

Slew Rate of IC Op-Amp (1): Rated Output Voltage Simulated
Slew Rate de l'ampli-op IC (1) : Tension de sortie nominale simulée

Sam Sanders: On two topics dear to Kurt Gödel
Sam Sanders: Sur deux sujets chers à Kurt Gödel

Saeed Salehi: Some Fairies in the Incompleteness Wonderland
Saeed Salehi: Quelques fées au pays des merveilles de l'incomplétude

Lev D. Beklemishev: Strictly positive provability logics: recent progress and open questions
Lev D. Beklemishev: Logiques de prouvabilité strictement positives: progrès récents et questions ouvertes

LESSON 51 - INTRODUCTION TO RESEARCH PROPOSAL: MEANING, PURPOSE & STRUCTURE
LESSON 51 - INTRODUCTION À LA PROPOSITION DE RECHERCHE : SIGNIFICATION, OBJECTIF ET STRUCTURE

Juliette C. Kennedy: Gödel and the Scope Problem: From Incompleteness to Extended Constructibility
Juliette C. Kennedy: Gödel et le problème de la portée : De l'incomplétude à la constructibilité étendue

Juliet Floyd: Truth in Early Wittgenstein and Gödel
Juliet Floyd : La vérité chez le premier Wittgenstein et Gödel

Julia F. Knight: Completions of PA and ω-models of KP
Julia F. Knight : Complétions de PA et ω-modèles de KP

Joost J. Joosten: Minimal Logics for Incompleteness
Joost J. Joosten: Logiques minimales pour l'incomplétude

James Walsh: On the hierarchy of natural theories
James Walsh: Sur la hiérarchie des théories naturelles

Harvey Friedman: Aspects of Gödel incompleteness
Harvey Friedman: Aspects de l'incomplétude de Gödel

Fedor Pakhomov: Could we make second-incompleteness theoremside condition free?
Fedor Pakhomov: Pourrions-nous rendre le théorème de seconde incomplétude sans condition latérale ?


Balthasar Grabmayr:A Step Towards Absolute Versions of Metamathematical Results
Balthasar Grabmayr : Un pas vers des versions absolues de résultats métamathématiques

Volker Halbach: Self-reference, truth, and provability
Volker Halbach: Autoréférence, vérité et prouvabilité

Volker Halbach: Self-reference and intensionality in metamathematics
Volker Halbach: Autoréférence et intensionalité en métamathématiques

Peter Koellner: On the Question of Whether the Mind Can be Mechanized
Peter Koellner: Sur la question de savoir si l'esprit peut être mécanisé

Pavel Pudlák: The journey from Peano Arithmetic to proof complexity
Pavel Pudlák: Le voyage de l'arithmétique de Peano à la complexité des preuves

Michael Rathjen: Proof Theory: From Arithmetic to Set Theory
Michael Rathjen: Théorie de la preuve: De l'arithmétique à la théorie des ensembles

Dynamique d'une épidémie. 1) Modèles compartimentaux

Anton Freund:Well ordering principles and a uniform Kruskal theorem
Anton Freund : Principes de bon ordre et un théorème uniforme de Kruskal


Albert Visser: Provability Logic and Modalised Fixed Points
Albert Visser: Logique de la prouvabilité et points fixes modalises

Albert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?
Albert Visser: Logique de Henkin cyclique : y a-t-il une vie au-delà de la troisième condition de Löb ?

6 Mois De Travail… et 0 vente



APPRECIATION - THANK YOU FOR BEING PART OF THE RESEARCH METHODS LEARNING COMMUNITY
APPRÉCIATION - MERCI DE FAIRE PARTIE DE LA COMMUNAUTÉ D'APPRENTISSAGE DES MÉTHODES DE RECHERCHE

QSI Seminar: Zhicheng Zhang, UCAS, Beijing
Séminaire QSI : Zhicheng Zhang, UCAS, Beijing

How Astronomers Can Use Origami to Find Exomoons
Comment les astronomes peuvent utiliser l'origami pour trouver des exolunes







Visitamos NOOR 1. El proyecto solar más grande del mundo. Corto Circuito EP26T2.
Nous avons visité NOOR 1. Le plus grand projet solaire du monde. Corto Circuito EP26T2.

How Vacuum Decay Would Destroy The Universe
Comment la désintégration du vide détruirait l'Univers