Noldorin

Member for 14 years, 6 months
Last seen more than a month ago

GitHub
noldorin.com
London, United Kingdom

Summary

Reputation

800

2021
2022
2023
2024

Top tag

proof-theory

Next privilege

1,000 Rep.

See votes

Badges

Newest

Caucus

Next badge

0/1

Custodian

Answers

Difference between a 'calculus' and an 'algebra'

Aug 26, 2010

Sieve of Eratosthenes - eventual independence from initial values

Jun 14, 2010

How do researchers carry out computational experiments in Graph Theory?

Jun 16, 2010

Reading materials for mathematical logic

Jul 23, 2010

Questions

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

Feb 21, 2010

How do proof verifiers work?

Jul 22, 2010

Why can't mathematics be formalised in terms of classes rather than sets?

May 25, 2014

Semantics of Higher-Order Logics

Jul 26, 2010

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

gold badge

Famous Question

Jul 8, 2013

silver badges

Favorite Question

Apr 14, 2016
Notable Question

× 2

Jan 17, 2015
Yearling

× 3

Nov 13, 2019

bronze badges

Caucus

× 2

Sep 20, 2022
Critic

Apr 28, 2013
Commentator

Jul 22, 2010

Accounts

View all 95 accounts

Stack Overflow

146k
56
267
306

English Language & Usage

13.3k
4
59
67

Physics

7,372
4
40
42

Mathematics

6,610
6
34
40

History

5,142
3
33
36

Active bounties (0)

This user has no active bounties

Votes cast

upvotes

downvotes

question votes

answer votes

User feed

Stack Exchange Network

Summary

Top tag

Next privilege

Newest

Next badge

Answers

Questions

Tags

Reputation

Badges

Accounts

Active bounties (0)

Votes cast