Portrait
Christopher Sorg
PhD Student (Hertling/Brattka)
University of the Bundeswehr Munich
About Me

Welcome! I am a researcher in mathematical logic, computable spectral theory, functional analysis/spectral theory for bounded linear operators in Banach spaces and epistemic logic (philosophy).

Language has a bigger role on humanity than you might guess: The self can only be fully manifested by contradiction, for which the real person behind the spoken language is needed. Therefore language is a necessary stability condition (activation of our mind) and core problem for humanity at the same time as it also can carry lies that become visible after manifestation and then create disharmony.

Education
  • Ludwig-Maximilians-Universität München
    Degree
    Bachelor of Science in Computer Science plus Mathematics
    09/2021
  • Friedrich-Alexander-Universität Erlangen-Nürnberg
    Degree
    Master of Science in Mathematics (minor theoretical philosophy)
    02/2024
Experience
  • LMU München
    Position
    Student Assistant
    Lecture
    Calculus I for Computer Science and Statistics
    10/2019 - 02/2020
  • LMU München
    Position
    Student Assistant
    Lecture
    Algorithms And Data Structures
    04/2020 - 08/2020
  • LMU München
    Position
    Student Assistant
    Lecture
    Calculus I for Computer Science and Statistics
    10/2020 - 02/2021
  • FAU Erlangen-Nürnberg
    Position
    Student Assistant
    Lecture
    Analysis I
    11/2022 - 04/2023
  • FAU Erlangen-Nürnberg
    Position
    Student Assistant
    Lecture
    Analysis II
    05/2023 - 10/2023
  • FAU Erlangen-Nürnberg
    Position
    Student Assistant
    Lecture
    Analysis III
    10/2023 - 02/2024
  • FAU Erlangen-Nürnberg
    Position
    Student Assistant
    Lecture
    Analysis I
    10/2023 - 02/2024
Teaching
  • FAU Erlangen-Nürnberg
    Position
    Lecture Assistant
    Lecture
    Stochastic for Computer Science (C4)
    04/2024 - 09/2024
  • FAU Erlangen-Nürnberg
    Position
    Lecture Assistant
    Lecture
    Linear Algebra for Computer Science (C1)
    10/2024 - 02/2025
  • FAU Erlangen-Nürnberg
    Position
    Lecture Assistant
    Lecture
    Algebra & ODE for Computer Science (C3)
    10/2025 - 01/2026
  • University of the Bundeswehr Munich
    Position
    Lecture Assistant
    Lecture
    Mathematical Logic
    04/2026 - 09/2026
  • University of the Bundeswehr Munich
    Position
    Lecture Assistant
    Lecture
    Algorithms and Complexity
    04/2026 - 09/2026
News
2026
Talk at CCA 2026 (Trier): Computability of the Hahn-Banach Theorem Revisited
Jul 29
Talk at INF1-seminar in Munich (UniBw): From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
May 27
Talk at INF1-seminar in Munich (UniBw): Computability of Koopman spectra in the SCI hierarchy: reflexive $L^p$ and endpoint phenomena
Feb 25
2025
Poster session at LNDW in Erlangen: The Turnpike Phenomenon In Gas Networks
Oct 25
Blog post at DCN website: Mathematics & Philosophy: On The Philosophical Foundations Of Mathematics And Its Role As Structural Science
Apr 25
2024
Talk at workshop 'X Partial differential equations, optimal design and numerics' in Benasque (Spain): Data-Driven Analysis Of Dynamics And Koopman Operators
Aug 22
Talk at DCN-Seminar at FAU: Dynamics of Phase Transitions: A Journey Into Gamma Convergence
May 16
Selected Publications (view all )
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]
All publications