The following pages link to Timm Lampert (Q1024866):
Displayed 16 items.
- Adequate formalization (Q1024867) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- Psychophysical and Tractarian Analysis (Q3467781) (← links)
- Wittgenstein on the Infinity of Primes (Q3498574) (← links)
- Wittgenstein's<i>ab</i>-Notation: An Iconic Proof Procedure (Q4608210) (← links)
- Minimizing disjunctive normal forms of pure first-order logic (Q4644489) (← links)
- (Q4903801) (← links)
- WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC (Q5001549) (← links)
- Wittgenstein’s Conjecture (Q5115883) (← links)
- Newton's experimental proofs (Q5156842) (← links)
- Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable† (Q5234247) (← links)
- (Q5871535) (← links)
- Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach (Q5878889) (← links)
- A Decision Procedure for Herbrand Formulae without Skolemization (Q6290760) (← links)
- Roth's Theorem implies a Weakened Version of the ABC Conjecture for Special Cases (Q6409265) (← links)
- Do algebraic numbers follow Khinchin's Law? (Q6409266) (← links)