Helmut Schwichtenberg - Linear Two-Sorted Constructive Arithmetic (Gödel Conference) @weizsacker-zentrumuniversi3136
Helmut Schwichtenberg - Linear Two-Sorted Constructive Arithmetic (Gödel Conference)  @weizsacker-zentrumuniversi3136
Uploaded August 2021 | Updated September 2026, 1 day ago
This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the Carl-Friedrich-von-Weizsäcker Center, the Kurt Gödel Society and the ERC-funded project Gödel Enigma.

Divided into nine workshops, Schwichtenberg's talk was part of the "Recursion-Theoretic Approaches to Computation and Complexity" section.

To learn more about the conference and speakers, click here:
bit.ly/3iuV5FI
Helmut Schwichtenberg - Linear Two-Sorted Constructive Arithmetic (Gödel Conference)Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory IIDr. Francesco Montesi - A survey of two strands in proof-theoretic semanticsLeonardo Ceragioli - A Proof-Theoretic Approach to BiasMiloš Adžić - Gödels Introduction to Deduction: Logic Lectures at Notre Dame (Gödel Conference)Raysa Benatti - Intimate Partner Violence Risk Assessment ToolsThierry Coquand - Internal Models of Type Theory (Gödel Conference)Samuel Schindler - Scientific Discovery and AIStefan Neuwirth - Paul Lorenzens Reception of Gödels Incompleteness Theorems (Gödel Conference)Ryo Takemura - A completeness theorem in proof-theoretic semantics via set-theoretic semanticsJohn Zerilli - Explaining Machine Learning Decisions (AI MEETS LAW – Rechtsfakultät)Victor Luis Barroso Nascimento - On the power and flexibility of base-extension semantics
Weizsäcker-Zentrum Universität Tübingen |

Helmut Schwichtenberg - Linear Two-Sorted Constructive Arithmetic (Gödel Conference)

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER