Franziskus Wiesnet
I am a researcher in the Institute of Logic and Computation at the TU Wien and I am a member of the Theory and Logic Group. Currently I am working in the project "On the Computational Interpretation of Intermediate Logics" with project manager Federico Aschieri.
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
From the 30th of May to the 3rd of June I will vised the meeting Proof and Computation 2022 at Schlehdorf monastery and give a talk about my current research on Multiplicative Linear Logic.
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:
- The proof assistent Minlog
- 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
- 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
The Dark Eye
YouTube Videos
Contact
franziskus[dot]wiesnet[at]tuwien[dot]ac[dot]at
+43 (0) 1 58801185184
TU Wien Informatics
Favoritenstraße 9-11
1040 Vienna, Austria
