WHITEBOARDS
links into
revise
activity
how to use
SITENAV
meetings
what's new?
whiteboards
post article
frontpage
downloads
ORIENTATION
legalisms
history
glossary
participants
BACK-ENDS
udanax-green
udanax-gold
ALGORITHMS
coordspaces
enfilade
ent
OLD MANUALS
XIA
HELPING
puzzles
needs
funding
site-traffic
admin
|
Whiteboard: Logical Proofs
|
last revised
by 216.88.158.142 on
Aug 17, 2005 3:25 am
|
 |
 |
|
 |
If the system is going to be used to collaboratively reason about
complex problems, it would seem useful to provide the capability to
construct/verify logical proofs. Something like a spreadsheet for
proofs.
have to dig up my proof textbook.
|
 Reading List |
 |
As We May Think,
1945
Vannevar Bush
Augmenting Human Intellect:A Conceptual Framework,
1962
Doug Engelbart
Literary Machines,
1981, 87, 93
Ted Nelson
Engines of Creation, Chapter 14
The Network of Knowledge,
1986, 87
K. Eric Drexler
Hypertext
Publishing and the Evolution of Knowledge,
1986
K. Eric Drexler
SF:EarthWeb,
1999
Marc Stiegler
|
|
|
|
|
|
