Franziskus Wiesnet
I am a researcher in the Institute of Discrete Mathematics and Geometry at the TU Wien. Currently I am working as project manager on the project "Material Interpretation" funded by the Austrian Science Fund - FWF.
From 2012 to 2017 I have studied maths at the Ludwig-Maximilians-Universität in Munich. From 2017 to 2021 I did my doctorate in mathematics at the Universities of Trento and Verona and since 2019 also at the Ludwig-Maximilians-Universität in Munich. My supervisors were Peter Schuster and Helmut Schwichtenberg.
News
On December 18, 2024, I will give a talk at the Computational Logic Seminar at the Institute of Discrete Mathematics and Geometry of TU Wien titled "Material Interpretation and Constructive Analysis of Maximal Ideals in ℤ[X]". This talk provides a good overview of my current research and my future plans.
Research
My main areas of research are proof theory, constructive mathematics, and formal system. To date, most of my papers are concerned with one or more of the following topics:
- Proof assistents; in particular Minlog and Agda.
- Constructive Algebra
- Constructive Analysis
- Signed digit representation of real numbers
- Program extraction from proofs
- Proof mining
- The axiom of choice and its variants
- Well quasi orders
- Linear logic
- Artificial Intelligence
- Set Theory
- Game Theory
Publications
Preprints
-
A material interpretation of maximal ideals in ℤ[X]
Franziskus Wiesnet
(pdf, python program)
Peer reviewed
-
Limits of real numbers in the binary signed digit representation
Nils Köpp and Franziskus Wiesnet
Logical Methods in Computer Science, Volume 18, Issue 3; 2022
(pdf, doi) -
Rates of convergence for asymptotically weakly contractive mappings in normed spaces
Thomas Powell and Franziskus Wiesnet
Numerical Functional Analysis and Optimization, 2021
(doi) -
A universal algorithm for Krull’s theorem
Thomas Powell, Peter Schuster and Franziskus Wiesnet
Information and Computation, 104761, 2021
(pdf, doi) -
An algorithmic version of Zariski's lemma
Franziskus Wiesnet
Connecting with Computability. Lecture Notes in Computer Science, vol 12813. Springer, Cham. 2021
(pdf, doi) -
Logic for exact real arithmetic
Helmut Schwichtenberg and Franziskus Wiesnet
Logical Methods in Computer Science, Volume 17, Issue 2, 2021
(pdf, doi) -
An algorithmic approach to the existence of ideal objects in commutative algebra
Thomas Powell, Peter Schuster and Franziskus Wiesnet
Proceedings of WoLLIC '19, LNCS 11541, p. 533–549, 2019
(pdf, doi) -
Introduction to Minlog
Franziskus Wiesnet
Proof and Computation, World Scientific, p. 233-288, 2018
(pdf, doi) -
Higman's lemma and its computational content
Helmut Schwichtenberg, Monika Seisenberger and Franziskus Wiesnet
Advances in proof theory. Birkhäuser, Cham, p. 353-375, 2016.
(pdf, doi)
PhD thesis
The Computational Content of Abstract Algebra and Analysis
Supervised by Peter Schuster and Helmut Schwichtenberg
Ludwig-Maximilians-Universität München, Università degli Studi di Verona, Università degli Studi di Trento, 2021
(pdf, doi)
Master thesis
Konstruktive analysis mit exakten reellen Zahlen (german)
Supervised by Helmut Schwichtenberg
Ludwig-Maximilians-Universität München, 2017
(pdf)
Talks
- Material Interpretation and Constructive Analysis of Maximal Ideals in ℤ[X]
Computational Logic Seminar at the Institute of Discrete Mathematics and Geometry of TU Wien, December 18, 2024
(slides) - Material Interpretation – A Case Study
Arbeitstagung Bern–München–Verona 2024 Meeting hosted by the universities of Bern, Munich, and Verona, 2024
- Par means Parallel: Multiplicative Linear Logic as Concurrent Functional Programs
Proof and Computation 2022 international meeting at Cohaus Schlehdorf, 2022
- An algorithmic version of Zariski's lemma
Computability in Europe 2021: Connecting with Computability online seminar at the Universiteit Gent, 2021
- A case study of proof mining in analysis
Doc in Progress online seminar at the Università di Trento, 2021 - A case study in constructive algebra: Zariski's lemma
Oberseminar Mathematische Logik at the Ludwig-Maximilians-Universität München, 2020 - Constructive Real Algebra
Algebra and Algorithms in Djerba, 2020
- An algorithmic approach to the existence of ideal objects in commutative algebra
Workshop on Logic, Language, Information and Computation in Utrecht, 2019
- An Algorithmic Approach for Maximal Objects in Algebra
Arbeitstagung Bern-München in München, 2019 - Applications of the Functional Interpretation with States
Münchenwiler Meeting Herbst 2018 in Münchenwiler, 2018 - Limits in the Signed Digit Representation of Reals
Arbeitstagung Bern-München in Bern, 2018 -
Limit Values in the Signed Digit Representation
1st Swiss-Italian Workshop on Proof and Computation in Verona, 2018 -
Computing with infinite data via proofs
Workshop on Continuity, Computability, Constructivity - From Logic to Algorithms in Nancy, 2017
Hobbys
Poker
I enjoy playing poker online or at small live tournaments.The Dark Eye
The Dark Eye is a pen-and-paper fantasy role-playing game similar to Dungeons & Dragons. I enjoy being the game master for adventures with my friends and colleagues.YouTube Videos
On my YouTube channel LogicLab I share tutorials and scientific lectures that provide insights into my research work. Topics such as proof assistants, constructive mathematics, and more are presented in accessible videos and talks.
Contact
franziskus[dot]wiesnet[at]tuwien[dot]ac[dot]at
+43 (0) 1 58801185184
Technische Universität Wien
Institut für Diskrete Mathematik und Geometrie
Wiedner Hauptstraße 8–10/104
1040 Vienna, Austria