User Thomas Benjamin

1 vote

What are the sense and reference of the propositions $R \notin R$, $R \in R$, where $R=\{x \mid x \notin x\}$ in Frege's Grundgesetze?

answered May 15, 2016 at 10:14

1 vote

Can the omega-rule rescue Hilbert's program?

answered Jan 10, 2016 at 13:03

1 vote

Are there first order theories of interest to an algebraist or at least a model theorist of large cardinal consistency strength?

answered Jan 11, 2016 at 5:46

1 vote

Aren't "oracle machines" unsound concepts?

answered Aug 9, 2015 at 6:42

1 vote

Philosophical arguments in defense (or against) large cardinals

answered Apr 2, 2015 at 11:06

0 votes

Analogues of Primitive Recursive Functions

answered Feb 19, 2015 at 18:23

0 votes

Why should we care about "higher infinities" outside of set theory?

answered Aug 29, 2015 at 13:15

0 votes

Accepted

Was "arithmetical translation" (coding in the Goedel sense) ever a part of Hilbert's Program?

answered Jan 28, 2016 at 19:28

0 votes

Was "arithmetical translation" (coding in the Goedel sense) ever a part of Hilbert's Program?

answered Feb 10, 2016 at 17:15

0 votes

The universe of sets, existential quantification in set theory

answered Mar 21, 2016 at 22:44

0 votes

Has philosophy ever clarified mathematics?

answered Mar 1, 2017 at 10:17

0 votes

Regarding Gentzen's note regarding 'Godel-points' (i.e., "Where is the Godel-point hiding?")

answered Nov 4, 2019 at 20:27

-1 votes

Intuitive and/or philosophical explanation for set theory paradoxes

answered Apr 15, 2012 at 7:54

-1 votes

Are the two meanings of "undecidable" related?

answered May 18, 2013 at 20:01

Stack Exchange Network

44 Answers

What are the sense and reference of the propositions $R \notin R$, $R \in R$, where $R=\{x \mid x \notin x\}$ in Frege's Grundgesetze?

Can the omega-rule rescue Hilbert's program?

Are there first order theories of interest to an algebraist or at least a model theorist of large cardinal consistency strength?

Aren't "oracle machines" unsound concepts?

Philosophical arguments in defense (or against) large cardinals

Analogues of Primitive Recursive Functions

Why should we care about "higher infinities" outside of set theory?

Was "arithmetical translation" (coding in the Goedel sense) ever a part of Hilbert's Program?

Was "arithmetical translation" (coding in the Goedel sense) ever a part of Hilbert's Program?

The universe of sets, existential quantification in set theory

Has philosophy ever clarified mathematics?

Regarding Gentzen's note regarding 'Godel-points' (i.e., "Where is the Godel-point hiding?")

Intuitive and/or philosophical explanation for set theory paradoxes

Are the two meanings of "undecidable" related?