Timm Lampert

Available identifiers

Publication	Date of Publication	Type
Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach	2023-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q5871535	2023-01-20	Paper
Deciding simple infinity axiom sets with one binary relation by means of superpostulates	2022-11-09	Paper
Roth's Theorem implies a Weakened Version of the ABC Conjecture for Special Cases	2022-08-30	Paper
Do algebraic numbers follow Khinchin's Law?	2022-08-30	Paper
Newton's experimental proofs	2021-10-12	Paper
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC	2021-07-22	Paper
Wittgenstein's conjecture	2020-08-21	Paper
Wittgenstein and Gödel: an attempt to make `Wittgenstein's objection' reasonable	2019-09-25	Paper
Minimizing disjunctive normal forms of pure first-order logic	2019-01-08	Paper
Wittgenstein's \(ab\)-notation: an iconic proof procedure	2018-03-16	Paper
A Decision Procedure for Herbrand Formulae without Skolemization	2017-09-01	Paper
Psychophysical and tractarian analysis	2016-02-04	Paper
Wittgenstein on pseudo-irrationals, diagonal numbers and decidability	2013-01-27	Paper
Adequate formalization	2009-06-17	Paper
Wittgenstein on the Infinity of Primes	2008-05-15	Paper

This page was built for person: Timm Lampert