Ivo Pezlar - A logic of judgmental existence and its relation to proof irrelevance Weizsäcker-Zentrum Universität Tübingen 354 подписчика Скачать
Jens Lemanski - Multimodality in natural and artificial intelligence: Philosophical Perspectives Скачать
Eric Oberheim - Paul Feyerabend: From the Limited Validity of Falsificationism to ‘Anything Goes!’ Скачать
Vincenzo Politi - Anticipative Reflection in an Interdisciplinary Research Team - A Case Study Скачать
Anna Hoffmann - KI-Kontextanalysen als notwendiges Entscheidungswerkzeug für Machine Learning Скачать
Prof. Dr. Jan von Plato (University of Helsinki): How Gödel discovered his incompleteness theorems Скачать
Anton Freund - A Uniform Picture of Gap Condition and Collapsing Functions (Gödel Conference) Скачать
Ambrus Kaposi - Levels of Abstraction When Defining Type Theory in Type Theory (Gödel Conference) Скачать
Ulrich Kohlenbach - From Gödel's Incompleteness Theorems and Foundational Reductions to Application Скачать
Helen Preiß - What Replaces Diagonalisation in Boolos' Proof of the First Incompleteness Theorem? Скачать
Miloš Adžić - Gödel's Introduction to Deduction: Logic Lectures at Notre Dame (Gödel Conference) Скачать
Stefan Neuwirth - Paul Lorenzen's Reception of Gödel's Incompleteness Theorems (Gödel Conference) Скачать
Jan von Plato - Gödel's First Steps in Logic: From Carnap's Axiomatic Exercises to Incompleteness Скачать
Prof. Dr. Aaron Sloman (University of Birmingham): Unsolved problems linking physics, biology, ... Скачать
Dr. Maël Pégny (CFvW Zentrum): Algorithmic Fairness and the Epistemic Limitations of Bureaucracy Скачать
Dr. Antonio Piccolomini d'Aragona (Aix-Marseille): Kreisel's Informal Rigour and Gödel's Absolute... Скачать
Dr. Vlasta Sikimić (CFvW Zentrum): The Interplay between Political and Epistemic Views of Scientists Скачать
Dr. Christian Feldbacher-Escamilla (Düsseldorf): AI for a Social World – A Social World for AI Скачать
Prof. Dr. Eberhard Knobloch: Leibnizens Konzept einer ars characteristica oder ars combinatoria Скачать
Dr. Richard Lawrence: Hankel's formalism, Frege's logicism, and the analytic-synthetic distinction Скачать
