current community
chat
blog
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Meta User
Network Profile
254
reputation
1
7
Martin Berger
Apparently, this user prefers to keep an air of mystery about them.
2
answers
1
question
~3k
people reached
London, United Kingdom
sussex.ac.uk/Users/mfb21
Member for
2 years, 3 months
36 profile views
Last seen
Sep 26 at 10:37
Communities
(21)
Theoretical Computer Science
6.5k
6.5k
2
19
48
Computer Science
2.6k
2.6k
9
21
Mathematics
359
359
1
13
Stack Overflow
329
329
1
10
MathOverflow
254
254
1
7
View network profile →
Top Network Posts
76
What is the contribution of lambda calculus to the field of theory of computation?
26
Applicability of ChurchTuring thesis to interactive models of computation
24
What's the difference between term rewriting and pattern matching?
23
Books on programming language semantics
21
P and NP classes explanation through lambdacalculus
20
Why was there a need for MartinLöf to create intuitionistic type theory?
19
Why is Proof Checker required in Proof Carrying Code
View more network posts →
Top Tags
(8)
notation
Score
10
Posts
1
Posts %
33
ho.historyoverview
Score
10
Posts
1
computerscience
Score
3
Posts
1
computationalcomplexity
Score
3
Posts
1
computabilitytheory
Score
3
Posts
1
modallogic
Score
0
Posts
1
View all tags →
Top Posts
(3)
All
Questions
Answers

Votes
Newest
10
Who invented diagrammatic algebra?
jun 3 '14
3
What new primitive recursive functions are needed to reconcile Turing time complexity with Gödel time complexity?
may 5 '14
1
Interesting fragments of firstorder logic induced by sorting?
jun 3 '14
Badges
(8)
Gold
—
Silver
1
Rarest
Yearling
jul 3 '14
Bronze
7
Rarest
Explainer
sep 30 '14
Excavator
may 5 '14
Teacher
may 5 '14
MathOverflow works best with JavaScript enabled