Newbetuts
.
New posts in constructive-mathematics
Constructing Idempotent Generator of Idempotent Ideal
abstract-algebra
commutative-algebra
ring-theory
constructive-mathematics
Do De Morgan's laws hold in propositional intuitionistic logic?
logic
propositional-calculus
constructive-mathematics
Order Properties of Constructive Reals (Bishop)
constructive-mathematics
Does the existence of a mathematical object imply that it is possible to construct the object?
logic
philosophy
constructive-mathematics
For which $n\in\Bbb N$ can we divide $\{1,2,3,...,3n\}$ into $n$ subsets each with $3$ elements such that in each subset $\{x,y,z\}$ we have $x+y=3z$?
combinatorics
graph-theory
contest-math
constructive-mathematics
combinatorial-designs
Nonnegative linear functionals over $l^\infty$
functional-analysis
set-theory
banach-spaces
axiom-of-choice
constructive-mathematics
An easy example of a non-constructive proof without an obvious "fix"?
logic
examples-counterexamples
constructive-mathematics
What does it take to divide by $2$?
elementary-set-theory
logic
topos-theory
constructive-mathematics
irrationality of $\sqrt{2}^{\sqrt{2}}$.
irrational-numbers
constructive-mathematics
rationality-testing
What is "ultrafinitism" and why do people believe it?
soft-question
philosophy
constructive-mathematics
How far can one get in analysis without leaving $\mathbb{Q}$?
analysis
number-theory
philosophy
constructive-mathematics
finitism
Impredicative Definitions (CZF)
logic
set-theory
type-theory
constructive-mathematics
Prev