User Profile
Add Friend
Add Note
Track User
Send Message
Send V-Gift
Enumerated World
Created on 2007-10-20 21:51:31 (#14075083), last updated 2008-03-06
1 comment received, 0 comments posted
Basic Account [Gift]
2 Journal Entries, 3 Tags, 0 Memories, 0 Virtual Gifts, 3 Userpics
Basic Info| Name: | enumeratedworld |
|---|
BioUnfinished ideas for a collective development effort
ConnectInterests (10):
artificial intellect, automatic theorem proving, combinatorial enumeration, constructive mathematics, curry-howard isomorphism, functional programming, intuitionism, logic, mathematics, philosophy
External Services:
 | enumeratedworld@livejournal.com |
Friends [View Entries]
Communities [View Entries]
Feeds [View Entries] Watching (0)
