Porträt
Porträt
Christopher Sorg
Doktorand (Hertling/Brattka)
Universität der Bundeswehr München
Sprachen (fließend)
Deutsch English
Über mich

Willkommen! Ich forsche in mathematischer Logik, berechenbarer Spektraltheorie sowie Funktionalanalysis und Spektraltheorie beschränkter linearer Operatoren auf Banachräumen. Außerdem interessiere ich mich sehr für interdisziplinäre Forschung mit Bezügen zur epistemischen Logik (Philosophie) sowie zur Kognitionswissenschaft und zu inversen Problemen (Psychologie).

Sprache spielt für die Menschheit eine größere Rolle, als man vielleicht vermutet: Das Selbst kann sich nur durch Widerspruch vollständig manifestieren, wofür die wirkliche Person hinter der gesprochenen Sprache notwendig ist. Deshalb ist Sprache zugleich eine notwendige Stabilitätsbedingung (Aktivierung unseres Geistes) und ein grundlegendes Problem der Menschheit, da sie auch Lügen transportieren kann, die nach ihrer Manifestation sichtbar werden und dann Disharmonie erzeugen.

Akademischer Werdegang und Lehre

Eine Hochschule, alle zugehörigen Abschlüsse und Tätigkeiten.

Detaillierte Einträge

Ludwig-Maximilians-Universität München

Ausbildung 1
  • Bachelor of Science: Informatik plus Mathematik
Erfahrung 3
  • Analysis I für Informatik und Statistik
    Tätigkeit: Studentische Hilfskraft
    –
  • Algorithmen und Datenstrukturen
    Tätigkeit: Studentische Hilfskraft
    –
  • Analysis I für Informatik und Statistik
    Tätigkeit: Studentische Hilfskraft
    –

Friedrich-Alexander-Universität Erlangen-Nürnberg

Ausbildung 1
  • Master of Science in Mathematik (Nebenfach Theoretische Philosophie)
Erfahrung 4
  • Analysis I
    Tätigkeit: Studentische Hilfskraft
    –
  • Analysis II
    Tätigkeit: Studentische Hilfskraft
    –
  • Analysis III
    Tätigkeit: Studentische Hilfskraft
    –
  • Analysis I
    Tätigkeit: Studentische Hilfskraft
    –
Lehre 3
  • Stochastik für Informatik (C4)
    Tätigkeit: Lehrassistenz
    –
  • Lineare Algebra für Informatik (C1)
    Tätigkeit: Lehrassistenz
    –
  • Algebra und gewöhnliche Differentialgleichungen für Informatik (C3)
    Tätigkeit: Lehrassistenz
    –

Universität der Bundeswehr München

Lehre 3
  • Mathematische Logik
    Tätigkeit: Lehrassistenz
    –
  • Algorithmen und Komplexität
    Tätigkeit: Lehrassistenz
    –
  • Analysis I
    Tätigkeit: Lehrassistenz
    –
Aktuelles
2026
Posterpräsentation beim CMS 2026 (Chemnitz): Endliche Information. Unendlichdimensionale Berechnung.
Vortrag bei der CCA 2026 (Trier): Die Berechenbarkeit des Satzes von Hahn-Banach neu betrachtet
Vortrag im INF1-Seminar in München (UniBw): Von der Schärfe im Zeugenraum zur familienpunktweisen Exaktheit für den Solvability Complexity Index
Vortrag im INF1-Seminar in München (UniBw): Berechenbarkeit von Koopman-Spektren in der SCI-Hierarchie - reflexive $L^p$-Räume und Endpunktphänomene
2025
Posterpräsentation bei der LNDW in Erlangen: Das Turnpike-Phänomen in Gasnetzwerken
Blogbeitrag auf der DCN-Website: Mathematik und Philosophie - über die philosophischen Grundlagen der Mathematik und ihre Rolle als Strukturwissenschaft
2024
Vortrag beim Workshop „X Partial differential equations, optimal design and numerics“ in Benasque (Spanien): Datengetriebene Analyse von Dynamik und Koopman-Operatoren
Vortrag im DCN-Seminar an der FAU: Dynamik von Phasenübergängen - eine Reise durch die Gamma-Konvergenz
Ausgewählte Publikationen alle anzeigen
Finite-Query Collapse and Modal Exact Bases in the SCI Hierarchy
Finite-Query Collapse and Modal Exact Bases in the SCI Hierarchy

Christopher Sorg

ArXiv 2026-06-11

[arXiv]
[Computable analysis] [Spectral theory] [Mathematical logic]
Finite-Query Collapse and Modal Exact Bases in the SCI Hierarchy

Christopher Sorg

ArXiv 2026-06-11

[arXiv]
[Computable analysis] [Spectral theory] [Mathematical logic]
From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index

Christopher Sorg

ArXiv 2026-04-14

[arXiv]
[Computable analysis] [Mathematical logic] [Spectral theory]
From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index

Christopher Sorg

ArXiv 2026-04-14

[arXiv]
[Computable analysis] [Mathematical logic] [Spectral theory]
Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy

Christopher Sorg

ArXiv 2026-03-19

[arXiv]
[Computable analysis] [Computability theory] [Descriptive set theory]
Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy

Christopher Sorg

ArXiv 2026-03-19

[arXiv]
[Computable analysis] [Computability theory] [Descriptive set theory]
Computability of the Hahn-Banach Theorem Revisited
Computability of the Hahn-Banach Theorem Revisited

Vasco Brattka, Christopher Sorg

ArXiv 2026-03-17

[arXiv]
[Functional analysis] [Computable analysis]
Computability of the Hahn-Banach Theorem Revisited

Vasco Brattka, Christopher Sorg

ArXiv 2026-03-17

[arXiv]
[Functional analysis] [Computable analysis]
Partial Perception, Knowledge, And Provable Insufficiency
Partial Perception, Knowledge, And Provable Insufficiency

Christopher Sorg

PhilArchive 2026-03-10

[arXiv]
[Epistemic logic] [Dynamic epistemic logic] [Philosophy of language]
Partial Perception, Knowledge, And Provable Insufficiency

Christopher Sorg

PhilArchive 2026-03-10

[arXiv]
[Epistemic logic] [Dynamic epistemic logic] [Philosophy of language]
Endpoint Koopman Spectral Computation: $L^1$ Residual Bounds, $L^{\infty}$ Instability, and Point-Spectral SCI Calibration Families
Endpoint Koopman Spectral Computation: $L^1$ Residual Bounds, $L^{\infty}$ Instability, and Point-Spectral SCI Calibration Families

Christopher Sorg

ArXiv 2026-01-17

[arXiv]
[Spectral theory] [Dynamical systems] [Computable analysis]
Endpoint Koopman Spectral Computation: $L^1$ Residual Bounds, $L^{\infty}$ Instability, and Point-Spectral SCI Calibration Families

Christopher Sorg

ArXiv 2026-01-17

[arXiv]
[Spectral theory] [Dynamical systems] [Computable analysis]
Residual SCI Upper Bounds And Lower Witnesses For Koopman Approximate Point Spectra In $L^p$ For $1<p<\infty$
Residual SCI Upper Bounds And Lower Witnesses For Koopman Approximate Point Spectra In $L^p$ For $1<p<\infty$

Christopher Sorg

ArXiv 2025-09-19

[arXiv]
[Spectral theory] [Dynamical systems] [Computable analysis]
Residual SCI Upper Bounds And Lower Witnesses For Koopman Approximate Point Spectra In $L^p$ For $1<p<\infty$

Christopher Sorg

ArXiv 2025-09-19

[arXiv]
[Spectral theory] [Dynamical systems] [Computable analysis]
Alle Publikationen