Question

If $f:\mathbb R\to\mathbb R$ is a polynomial of odd degree, then for every real $y$ there is a real $x$ such that $f(x)=y$

score 113 · Answer 1 · 2018-09-05 13:16:49

113

Views

If $f:\mathbb R\to\mathbb R$ is a polynomial of odd degree, then for every real $y$ there is a real $x$ such that $f(x)=y$

Published on 05 Sep 2018 - 13:16

score 141 · Answer 2 · 2026-03-23 09:12:54

141

Views

Why Presburger arithmetic cannot prove pigeonhole principle

Published on 23 Mar 2026 - 9:12

score 353 · Answer 3 · 2026-03-17 01:37:42

353

Views

Is there a maximal universe of sets?

Published on 17 Mar 2026 - 1:37

score 5.7k · Answer 4 · 2018-09-17 06:30:04

5.7k

Views

BIG LIST: Statements that look obviously false but cannot be disproved

Published on 17 Sep 2018 - 6:30

score 630 · Answer 5 · 2018-09-19 04:18:22

630

Views

Higher-order Busy Beaver functions and the language of first-order set theory

Published on 19 Sep 2018 - 4:18

score 50 · Answer 6 · 2026-03-16 23:35:13

50

Views

Prove of Greedy Algorithm

Published on 16 Mar 2026 - 23:35

score 227 · Answer 7 · 2018-10-30 21:22:29

227

Views

Can the negation of an unprovable true statement be added as an axiom?

Published on 30 Oct 2018 - 21:22

score 81 · Answer 8 · 2018-11-11 09:46:14

81

Views

$\neg (\neg A) \rightarrow A$ part of the axioms of propositional logic?

Published on 11 Nov 2018 - 9:46

score 77 · Answer 9 · 2026-03-16 23:50:13

77

Views

Godelian problems with logic puzzles

Published on 16 Mar 2026 - 23:50

score 64 · Answer 10 · 2026-03-25 03:03:10

64

Views

Is it possible to prove the following inequalities to be true?

Published on 25 Mar 2026 - 3:03

score 76 · Answer 11 · 2018-11-28 16:32:36

76

Views

Questions in proof theory (PRA-provability of an EA-axiom, Girards Book from '87)

Published on 28 Nov 2018 - 16:32

score 84 · Answer 12 · 2018-11-29 12:23:50

84

Views

Questions in proof theory (PRA-provability of EA-theorems, Girards book from '87)

Published on 29 Nov 2018 - 12:23

score 134 · Answer 13 · 2026-03-17 21:56:13

134

Views

On independency of ZFC of statements in math problem solving

Published on 17 Mar 2026 - 21:56

score 136 · Answer 14 · 2026-03-25 03:03:42

136

Views

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

Published on 25 Mar 2026 - 3:03

score 230 · Answer 15 · 2026-03-25 04:42:53

230

Views

An alternative formulation (or corollary) of Tarski's theorem? [Or just a typo?]

Published on 25 Mar 2026 - 4:42

List Question

If $f:\mathbb R\to\mathbb R$ is a polynomial of odd degree, then for every real $y$ there is a real $x$ such that $f(x)=y$

Why Presburger arithmetic cannot prove pigeonhole principle

Is there a maximal universe of sets?

BIG LIST: Statements that look obviously false but cannot be disproved

Higher-order Busy Beaver functions and the language of first-order set theory

Prove of Greedy Algorithm

Can the negation of an unprovable true statement be added as an axiom?

$\neg (\neg A) \rightarrow A$ part of the axioms of propositional logic?

Godelian problems with logic puzzles

Is it possible to prove the following inequalities to be true?

Questions in proof theory (PRA-provability of an EA-axiom, Girards Book from '87)

Questions in proof theory (PRA-provability of EA-theorems, Girards book from '87)

On independency of ZFC of statements in math problem solving

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

An alternative formulation (or corollary) of Tarski's theorem? [Or just a typo?]

Trending Questions

Popular # Hahtags

Popular Questions