Skip to main content
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson
  • Member for 13 years, 9 months
  • Last seen more than a week ago
16 votes

Results that were widely believed to be false but were later shown to be true

15 votes
Accepted

Formal System and Formal Logical System

7 votes

Is there a definitive guide to speaking mathematics?

7 votes

How to think deeply in mathematics way?

6 votes
Accepted

Is SAT in P^{SAT}?

6 votes

checking boolean logical equivalence

5 votes

Examples of mathematical discoveries which were kept as a secret

4 votes

Learning Proofs (for Computer Science)

3 votes

Good books on Philosophy of Mathematics

3 votes

Why doesn't implication graph work for 3SAT as it does for 2SAT?

2 votes

Informal Equivalents of Mathematica "Set" and "SetDelayed"

2 votes

P vs NP and Gödel

2 votes
Accepted

Is my understanding of Peano Axioms as mentioned below correct? I’ll also be grateful if questions below are answered definitively

1 vote

Complexity of a recursive algorithm on formulas of propositional logic

1 vote

What are the relations between pushdown automata and parsers?

1 vote
Accepted

How to investigate "modest variations" of FOL?

1 vote

Peano axioms without identity and function symbols

1 vote

Guarded fragment is convertible to ExistsForall?

1 vote

FST and SND operations in language of elementary arithmetic.

1 vote

How do we define the value of a variable expression?

1 vote

Time hierarchy theorem for search problems

1 vote

Congruence of terms

1 vote
Accepted

The resolution method

1 vote

Soundness for $\forall$Introduction

1 vote

Definition of the union of structures?

1 vote

What's the goal of mathematics?

1 vote

Proof of completeness, what is the point of this lemma?

1 vote

Hyperreal field extension

1 vote

Are there really open axioms?

1 vote

A language $L$ is polynomially transformable to $L_0$