Noldorin

415
Reputation
202 views
Is this your account?

Registered User 

Name Noldorin
Member for 3 years
Seen May 5 at 13:00
Website
Location London, UK
Age 22
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.

votes newest views recent
33

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

4
6
votes
5
answers
1k
views

How to define tuples?

jul 25 11 at 8:22 Ramesh Loar 1

9
3
votes
6
answers
3k
views

Reading materials for mathematical logic

jul 24 10 at 2:27 John Stillwell 8,121●5●41●79

1
1
vote
2
answers
572
views

Semantics of Higher-Order Logics

jul 26 10 at 13:02 Andrej Bauer 12.5k●26●68