Bram28's user avatar
Bram28's user avatar
Bram28's user avatar
Bram28
  • Member for 8 years, 9 months
  • Last seen this week
47 votes
3 answers
3k views

Expected Number of Single Socks when Matching Socks

31 votes
5 answers
5k views

Exactly when and why can a Turing-machine not solve the halting problem?

13 votes
3 answers
5k views

Orders, Partial Orders, Strict Partial Orders, Total Orders, Strict Total Orders, and Strict Orders

7 votes
3 answers
2k views

Hilbert program: Does Consistency and Completeness imply Decidability?

5 votes
1 answer
207 views

How many days are needed to cover at least half of all birthdays in a group of people?

5 votes
3 answers
1k views

If there is a need to distinguish between 'image' and 'codomain', why not do this on the input side of a function?

4 votes
1 answer
527 views

Hilbert Program: Consistency vs Soundness

4 votes
0 answers
398 views

Is there a complete set of equivalence principles for first-order logic?

4 votes
2 answers
336 views

Trying to Understand the Axiom of Induction in the context of formalizing Natural Numbers

3 votes
1 answer
184 views

Gödel's Completeness Theorem: Did Gödel show how to construct derivations?

3 votes
1 answer
213 views

What is the domain of $f(x) = x$?

2 votes
4 answers
192 views

Prove that $(a,b)^2=(a^2,b^2,ab)$ [duplicate]

2 votes
2 answers
141 views

Names for two Basic axioms for Propositional Logic

1 vote
1 answer
573 views

Are 'converse domain' and 'co-domain' the same? If not, why not?

1 vote
1 answer
155 views

Who was the first to show that there is a Universal Turing-Machine that uses a binary alphabet?

1 vote
1 answer
79 views

Name for Logical Principle $(\varphi \to \psi) \to ((\neg \varphi \to \psi) \to \psi)$

0 votes
1 answer
87 views

Consistent, Complete, and Recursive axiomitization of Arithmetic that does not include Q?

0 votes
2 answers
189 views

Do Godel results still work for a semi-recursive (rather than fully recursive) set of axioms?

0 votes
1 answer
191 views

Is my 'proof' that any strict total order is not total correct?

0 votes
0 answers
295 views

Does Bezout's Identity hold for Zero cases?