Skip to main content
MathOverflow
John Tromp's user avatar
John Tromp's user avatar
John Tromp's user avatar
John Tromp
  • Member for 7 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
1,734
reputation
26k
reached
4
answers
3
questions
Communities
View all
About

John Tromp is a Dutch computer scientist, programmer, puzzle designer/solver, Go player, chess player, recumbent rider, and googologist.

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
15
bronze badges
Top tags
View all tags
18
Score
2
Posts
29
Posts %
14
Score
1
Posts
14
Posts %
14
Score
1
Posts
14
Posts %
14
Score
1
Posts
14
Posts %
14
Score
1
Posts
14
Posts %
13
Score
3
Posts
43
Posts %
Top posts
question
24
What's the smallest $\lambda$-calculus term not known to have a normal form?
Feb 25, 2020
question
19
Do combinatory logic bases need a function of 3 variables?
Feb 3, 2022
answer
14
What computational problems would be good proof-of-work problems for cryptocurrency mining?
Jun 4, 2017
answer
13
Using Busy Beavers to prove conjectures
Jan 4
question
11
Seeking proof of the Cuckoo Cycle Conjecture
Apr 4, 2019
answer
5
What is the shortest program for which halting is unknown?
Feb 20, 2020
answer
0
Do free variables play a significant role in the Busy Beaver for Lambda Calculus?
Sep 27
Top network posts
View all network posts
30
Interpret brainfuck
28
Self-Interpreting Interpreter
27
Write an interpreter for the untyped lambda calculus
15
Golf a number bigger than Loader's number
8
Memory-hard proof-of-work: are they ASIC-resistant?