Prof. Dr. Karl-Georg Niebergall

Profil

Zusammenfassung

Karl-Georg Niebergall ist Experte für mathematische Logik und Grundlagen der Mathematik, insbesondere für Hilberts Finitismus, Beweistheorie und die Grenzen formaler Systeme. Seine Forschung verbindet philosophische Fragen mit metamathematischen Methoden und untersucht, wie sich klassische mathematische Konzepte formal präzisieren und begrenzen lassen.

Skills

Name

Prof. Dr. Karl-Georg Niebergall

Titel

Prof. Dr.

Fakultät

Philosophische Fakultät

Institut

Institut für Philosophie

Arbeitsgruppe

Logik / Sprachphilosophie

E-Mail

🔒 nur für eingeloggte sichtbarAnmelden

Telefon

🔒 nur für eingeloggte sichtbarAnmelden

HU-FIS-Profil

Quelle ↗

Zuletzt gescrapt

28.6.2026, 01:10:23

• Cluster Topoi II: Formale Theorien zu Körper und Raum D-3-4

  Quelle ↗

  Förderer: DFG Exzellenzinitiative Cluster Zeitraum: 11/2012 - 10/2017 Projektleitung: Prof. Dr. Karl-Georg Niebergall

• GRK 1939/2: Philosophie, Wissenschaft und die Wissenschaften: Der Dialog zwischen Formen und Modellen des Wissens im antiken griechischen, römischen und arabischen Denken

  Quelle ↗

  Förderer: DFG Graduiertenkolleg Zeitraum: 04/2019 - 06/2024 Projektleitung: Prof. Dr. Jonathan Beere

• GRK 1939: Philosophie, Wissenschaft und die Wissenschaften: Der Dialog zwischen Formen und Modellen des Wissens im antiken griechischen, römischen und arabischen Denken

  Quelle ↗

  Förderer: DFG Graduiertenkolleg Zeitraum: 10/2014 - 06/2024 Projektleitung: Prof. Dr. Jonathan Beere

🔒 Das System hat 139 mögliche Industrie-Partner gefunden — Firmen, Scores und Begründungen sind nur für eingeloggte Nutzer:innen sichtbar. Anmelden

• On The Logic Of Reducibility: Axioms And Examples

  2000

  Erkenntnis · 36 Zitationen · DOI

• Structuralism, Model Theory and Reduction

  2002

  Synthese · 19 Zitationen · DOI

• Hilbert’s Finitism and the Notion of Infinity

  1998

  6 Zitationen · DOI

  Abstract When Hilbert set about developing his foundational programme in the l 920s, proof theory was still enjoying a state of pre-Gödelian innocence. The principal objective of the programme was to establish once and for all the entire heritage of classical mathematics by means of a finitist metamathematical consistency proof.

• Freie Universität Berlin

  GRK 1939/2: Philosophie, Wissenschaft und die Wissenschaften: Der Dialog zwischen Formen und Modellen des Wissens im antiken griechischen, römischen und arabischen Denken

  university

• Max-Planck-Institut für Wissenschaftsgeschichte

  GRK 1939/2: Philosophie, Wissenschaft und die Wissenschaften: Der Dialog zwischen Formen und Modellen des Wissens im antiken griechischen, römischen und arabischen Denken

  other