Portrait
Portrait
Christopher Sorg
PhD Student (Hertling/Brattka)
University of the Bundeswehr Munich
Languages (fluent)
Deutsch English
About me

Welcome! I am a researcher in mathematical logic, computable spectral theory, functional analysis/spectral theory for bounded linear operators in Banach spaces. I am also strongly interested in interdisciplinary research mapping to epistemic logic (philosophy) and cognitive science/inverse problems (psychology).

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.

Academic background and teaching

One institution, all associated qualifications and roles.

Detailed entries

Ludwig-Maximilians-Universität München

Education 1
  • Bachelor of Science in Computer Science plus Mathematics
Experience 3
  • Calculus I for Computer Science and Statistics
    Role: Student Assistant
    –
  • Algorithms And Data Structures
    Role: Student Assistant
    –
  • Calculus I for Computer Science and Statistics
    Role: Student Assistant
    –

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

Education 1
  • Master of Science in Mathematics (minor theoretical philosophy)
Experience 4
  • Analysis I
    Role: Student Assistant
    –
  • Analysis II
    Role: Student Assistant
    –
  • Analysis III
    Role: Student Assistant
    –
  • Analysis I
    Role: Student Assistant
    –
Teaching 3
  • Stochastic for Computer Science (C4)
    Role: Lecture Assistant
    –
  • Linear Algebra for Computer Science (C1)
    Role: Lecture Assistant
    –
  • Algebra & ODE for Computer Science (C3)
    Role: Lecture Assistant
    –

Universität der Bundeswehr München

Teaching 3
  • Mathematical Logic
    Role: Lecture Assistant
    –
  • Algorithms and Complexity
    Role: Lecture Assistant
    –
  • Analysis I
    Role: Lecture Assistant
    –
News
2026
Poster session at CMS 2026 (Chemnitz): Finite information. Infinite-dimensional computation.
Talk at CCA 2026 (Trier): Computability of the Hahn-Banach Theorem Revisited
Talk at INF1-seminar in Munich (UniBw): From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
Talk at INF1-seminar in Munich (UniBw): Computability of Koopman spectra in the SCI hierarchy: reflexive $L^p$ and endpoint phenomena
2025
Poster session at LNDW in Erlangen: The Turnpike Phenomenon In Gas Networks
Blog post at DCN website: Mathematics & Philosophy: On The Philosophical Foundations Of Mathematics And Its Role As Structural Science
2024
Talk at workshop 'X Partial differential equations, optimal design and numerics' in Benasque (Spain): Data-Driven Analysis Of Dynamics And Koopman Operators
Talk at DCN-Seminar at FAU: Dynamics of Phase Transitions: A Journey Into Gamma Convergence
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