MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Noldorin

415
Reputation
203 views
Is this your account?

Registered User 

Name Noldorin
Member for 3 years
Seen yesterday
Website
Location London, UK
Age 23
An undergraduate student based in London, England.

See the About page on my blog for more information. I regularly blog about in relation to programming, my various projects, and other random topics from time to time.
3

Questions
votes newest views recent
11
15
votes
5
answers
2k
views

How do proof verifiers work?

jan 11 at 22:30 jessealama 86●3

21
13
votes
4
answers
10k
views

Propositional Logic, First-Order Logic, and Higher-Order Logics

jan 30 11 at 20:26 Mark Adams 511●6●6

1
1
vote
2
answers
583
views

Semantics of Higher-Order Logics

jul 26 10 at 13:02 Andrej Bauer 13.1k●29●72

 

4

Answers
votes newest views recent
7
Difference between a ‘calculus’ and an ‘algebra’
4
Sieve of Eratosthenes - eventual independence from initial values
1
How do researchers carry out computational experiments in Graph Theory?
0
Reading materials for mathematical logic

 

20

Votes
19
1

 

10

Tags
× 4
× 2








 

14

Badges
● Critic
● Popular Question× 2
● Notable Question
 ● Nice Question× 2
● Yearling
● Commentator
 ● Editor
● Teacher
● Scholar
 ● Supporter
● Student
● Autobiographer