# Tagged Questions

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans. That is, given a set of axioms, the only propositions that can exist are those that ...

151 views

### What if 'proof by contradiction' is not a valid method of proof?

I've just been reading this question about the existence (or lack thereof) of contradictions in maths. I've been wondering: What if 'proof by contradiction' is not a valid method to (dis)prove a ...
174 views

### How is the double negation translation similar to CPS in functional programming languages?

In Wikipedia's Double-negation translation article, I found that any formula in classical logic has its double negation as its intuitionist equivalent: It is also possible to define φN by ...
84 views

### Defining “Penon Infinitesimals”.

In this lecture (which is accompanied by these slides), right near the end (so page 9 in the pdf of the slides; I don't think you have to watch the lecture), P. Johnstone refers to the "Penon ...
Consider pairs $(\Phi,n)$ where $\Phi$ is a finite set of statements in Peano arithmetic and $n$ is an integer. Say that $p'=(\Phi',n')$ is an elementary intuitionistic extension of $p=(\Phi,n)$ iff ...