Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with mathematical-philosophy
Search options questions only
not deleted
user 82843
Philosophical aspects of logic and set theory; truth status of mathematical axioms; Philosophy of Mathematics; philosophical aspects of mathematics in general; relation of mathematics to philosophy; etc. Consider also posting at http://philosophy.stackexchange.com/, where philosophy-of-mathematics is one of the most popular tags.
13
votes
0
answers
872
views
Arguments against Freiling's argument against Continuum Hypothesis
Freiling's axiom of symmetry ($\sf AS$) is known as a justification for falsity of Continuum Hypothesis. Freiling in his 1986 paper, Axioms of symmetry: throwing darts at the real number line, provide …
39
votes
4
answers
6k
views
On critical reviews of Hawking's lecture "Gödel and the end of the universe"
The search for a neat Theory of Everything (ToE) which unifies the entire set of fundamental forces of the universe (as well as the rules which govern dark energy, dark matter and anti-matter realms) …
70
votes
6
answers
8k
views
The logic of Buddha: a formal approach
Buddhist logic is a branch of Indian logic (see also Nyaya), one of the three original traditions of logic, alongside the Greek and the Chinese logic. It seems Buddha himself used some of the features …