neelk | Lambda the Ultimate

neelk

view
track

Personal information

Country:
USA

Gender:
male

URL of homepage:
http://semantic-domain.blogspot.com

History

Member for:
9 years 24 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

specialisation vs generalisation
58 min 32 sec ago
Frege
3 hours 20 min ago
I don't think wikipedia is
6 hours 21 min ago
In addition to noting that
9 hours 14 min ago
Church and Jaśkowski were towering figures
12 hours 31 min ago
Unfortunately I don't know
13 hours 32 sec ago
Set definiton: restriction rather than abstraction from a pred
14 hours 2 min ago
Mathematicians whose surnames' only vowel is 'e'
16 hours 1 min ago
Frege was the originator of ⊢ notation
1 day 8 hours ago
I'd expect Frege to be
1 day 8 hours ago