What are commonly-known equivalents of LEM among logicians, assuming intuitionistic axioms? I’ll list a few to begin with. Below, $\varphi$ and $\psi$ denote arbitrary sentences. (DNE) Double negation elimination: $\neg \neg \varphi \vdash \varphi$ (RAA) Reductio ad absurdum: $\neg \varphi \to \psi, \neg \varphi \to \neg \psi \vdash \varphi$ (P) Peirce’s Law: $\vdash ((\varphi \to […]

How do you prove $\neg\neg(\neg\neg P \rightarrow P)$ in intuitionistic logic? I know this statement to be intuitionistically provable because of Glivenko’s theorem. However, I wish to prove it intuitionistically. The relevant axioms I happen to be using are: (1) $\neg P = P\rightarrow\bot$ and (2) $\bot \rightarrow P$.

First off, I’m not sure if “intangible” is standard terminology, Wikipedia defines an intangible object to be: “objects that are proved to exist, but which cannot be explicitly constructed”. So if someone could point me towards better terminology, I’d appreciate it. The linked article from Wikipedia claims that the axiom of choice implies the existence […]

Show Kripke’s model proving that the following formula isn’t tautology in intuitionistic logic. $ \neg ( p \wedge q ) \implies (\neg p \vee \neg q) $ Please help/hint me ðŸ˜‰

Of course in regular logic, the answer is there aren’t any. But in intuitionistic logic, there might be, as seen by this answer: https://math.stackexchange.com/a/1437130/49592. My question is, as per that answer, what is a specific number that is neither rational nor irrational (note that the link above uses a different definition of irrational than the […]

I stumbled across article titled “Proof of negation and proof by contradiction” in which the author differentiates proof by contradiction and proof by negation and denounces an abuse of language that is “bad for mental hygiene”. I get that it is probably a hyperbole but I am genuinely curious about what’s so horrible in using […]

Let’s say that I prove statement $A$ by showing that the negation of $A$ leads to a contradiction. My question is this: How does one go from “so there’s a contradiction if we don’t have $A$” to concluding that “we have $A$”? That, to me, seems the exact opposite of logical. It sounds like we […]

I’ve heard that within the field of intuitionistic mathematics, all real functions are continuous (i.e. there are no discontinuous functions). Is there a good book where I can find a proof of this theorem?

Intereting Posts

Does every infinite field contain a countably infinite subfield?
Is a function that maps every compact set to a compact set continuous?
Are one-by-one matrices equivalent to scalars?
A simple question about open set
Prove that: $\sup_{z \in \overline{D}} |f(z)|=\sup_{z \in \Gamma} |f(z)|$
Inequality $\sum\limits_{cyc}\frac{a^3}{13a^2+5b^2}\geq\frac{a+b+c}{18}$
k-dimension of tensor product of two modules over a k-algebra
Are “$n$ by $n$ matrices with rank $k$” an affine algebraic variety?
Prove that âˆ€ n âˆˆ {n | n âˆˆ â„• âˆ§ n > 7}: n = x*3 + y*5
Is the Fibonacci lattice the very best way to evenly distribute N points on a sphere? So far it seems that it is the best?
condition for a cubic polynomial to have a real root
Cardinal Arithmetic versus Ordinal Arithmetic
More Theoretical and Less Computational Linear Algebra Textbook
How prove this $x^3+y^3+z^3+3\ge 2(x^2+y^2+z^2)$
All derivatives zero at a point $\implies$ constant function?