emesupap's user avatar
emesupap's user avatar
emesupap's user avatar
emesupap
  • Member for 1 year, 11 months
  • Last seen this week
28 votes
Accepted

Why do universities not teach constructive mathematics to CS undergraduates?

7 votes
Accepted

What is the formal definition of interpretation of a formal language?

7 votes

Peano Axioms have models other than the natural numbers, why is this ok?

6 votes
Accepted

Why can Goedel's Incompleteness Theorem be proven?

5 votes

What is a good approach to the question "the real number 2 is the same as the complex number 2?"

4 votes

What is an ordered pair of identical objects?

4 votes
Accepted

What speaks against the "every creation has a creator" proof of god?

4 votes

A testable hypothesis where its negation is not testable?

4 votes

How can there be any necessarily true propositions?

4 votes

Enantiodromia--How Do Symbols Undergo an Inversion of Meaning?

4 votes

Does absence of evidence mean evidence of absence?

4 votes

Are mathematical proofs subject to the problem of induction?

4 votes

Can something be both a type and a token?

3 votes

Is Architecture a Language?

3 votes

Is the definition of a proposition a true proposition itself?

3 votes

Why do we equate a mathematical object with what denotes it?

3 votes
Accepted

The intensionality of modal logic

3 votes

Do axioms of the physical and mental need to be consistent?

3 votes

Can a totally ordered set with a last element but no first element exist, or is this contradictory?

3 votes

Are there inference rules for introducing and elimination implication `->` in the antecedent (the part on the left of `|-`)?

3 votes

Can the ultimate explanation of everything really be God even if He exists?

3 votes

Extending the use-mention distinction to account for variables and predicates

3 votes
Accepted

Should reducing and simplifying explanations be a core aspect of Philosophical practice?

2 votes
Accepted

If we can't know whether a divine being exists, would that being be unimportant even if it did exist?

2 votes

Axiomatically prove □(A ∨ ¬B), ¬□A, ⊢ ◇¬B in modal system K

2 votes
Accepted

Is it easier to prove something wrong than it is to prove something right?

2 votes

What is computation?

2 votes

Why should we care about the Platonism vs. nominalism debate?

2 votes

Hard stuff made easy?

2 votes

Why is math powerful?