User emesupap

28 votes

Accepted

Why do universities not teach constructive mathematics to CS undergraduates?

answered May 23, 2022 at 22:23

8 votes

Accepted

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

answered Aug 21, 2022 at 21:33

8 votes

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

answered Nov 12, 2022 at 18:57

6 votes

Accepted

Why can Goedel's Incompleteness Theorem be proven?

answered Jul 27, 2022 at 17:21

6 votes

What is the use in arguing for or against the existence of metaphysical things?

answered Jun 17 at 7:03

5 votes

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

answered Apr 6, 2023 at 19:00

5 votes

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

answered Aug 19, 2022 at 19:02

4 votes

What is an ordered pair of identical objects?

answered Sep 21, 2022 at 4:04

4 votes

A testable hypothesis where its negation is not testable?

answered Jul 26, 2023 at 2:54

4 votes

Accepted

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

answered Apr 23, 2023 at 21:22

4 votes

Does absence of evidence mean evidence of absence?

answered Jul 27, 2022 at 17:48

4 votes

Are mathematical proofs subject to the problem of induction?

answered May 20, 2022 at 23:42

4 votes

Can something be both a type and a token?

answered Mar 24, 2022 at 19:12

4 votes

Accepted

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

answered Feb 2 at 5:48

4 votes

Accepted

What is the proof of that self-application in the λ-calculus is not inconsistent?

answered Sep 8 at 22:45

3 votes

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

answered Jun 27, 2023 at 4:58

3 votes

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

answered Jan 23 at 19:01

3 votes

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

answered Oct 3, 2023 at 4:03

3 votes

How to Study Aristotles Ethics

answered Jul 18 at 16:25

3 votes

Does it matter if certain professions have a lower rate of theism, and if so, why does it matter?

answered Mar 2 at 0:56

3 votes

Who/what are some good introductions into Christian philosophy?

answered Mar 15 at 17:38

3 votes

What is the Normal Form of Proofs in Intuitionist Logic?

answered Apr 4 at 2:29

3 votes

Is Architecture a Language?

answered Aug 1, 2022 at 4:45

3 votes

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

answered Nov 13, 2022 at 17:01

3 votes

Accepted

The intensionality of modal logic

answered Nov 18, 2022 at 20:53

3 votes

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

answered Jun 21, 2023 at 19:13

3 votes

How can there be any necessarily true propositions?

answered Aug 16, 2022 at 19:44

3 votes

Is the definition of a proposition a true proposition itself?

answered Aug 19, 2022 at 19:12

2 votes

Hard stuff made easy?

answered Jul 11, 2022 at 15:33

2 votes

Why is math powerful?

answered Aug 13, 2022 at 19:39

Stack Exchange Network

95 Answers

Why do universities not teach constructive mathematics to CS undergraduates?

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

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

Why can Goedel's Incompleteness Theorem be proven?

What is the use in arguing for or against the existence of metaphysical things?

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

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

What is an ordered pair of identical objects?

A testable hypothesis where its negation is not testable?

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

Does absence of evidence mean evidence of absence?

Are mathematical proofs subject to the problem of induction?

Can something be both a type and a token?

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

What is the proof of that self-application in the λ-calculus is not inconsistent?

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

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

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

How to Study Aristotles Ethics

Does it matter if certain professions have a lower rate of theism, and if so, why does it matter?

Who/what are some good introductions into Christian philosophy?

What is the Normal Form of Proofs in Intuitionist Logic?

Is Architecture a Language?

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

The intensionality of modal logic

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

How can there be any necessarily true propositions?

Is the definition of a proposition a true proposition itself?

Hard stuff made easy?

Why is math powerful?