knowledge.html
9.73 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<!-- Created by: Karen MacArthur, 27-Feb-1995 -->
<title>A Study of Linguistics: Representation and Exchange of
Knowledge</title>
<meta http-equiv="Content-Type" content="text/html">
</head>
<body>
<p><a href="../"><img src="../Icons/WWW/w3c_home" alt="W3C" width="72"
height="48" border="0"></a> | <a href="../Metadata/">Metdata</a> | <a
href="./">Collaboration</a></p>
<h1>A Study of Linguistics: Representation and Exchange of Knowledge</h1>
<p><em>This started in January 1996 as a history of the seminal works in
automated knowledge exchange, but I have recently abandoned any attempt to be
objective and reorganized it as my personal study of knowledge exchange: how I
came to know what I know about formal systems, knowledge representation,
linuguistics, dynamical systems, and the Web.</em></p>
<dl>
<dt>1986 Fall, U.T. Austin</dt>
<dd>started persuing my C.S. degree at U.T. Austin with <a
href="http://www.la.utexas.edu/course-materials/philosophy/koons/313k/">Logic,
Sets and Functions</a>. Learned about Russel's paradox (p. 214 of <a
href="#Bonevac86">[Bonevac86]</a>), <a href="#PM">Principia</a> and
such.
<p>A student in the dorm loaned me a copy of <a href="#GEB">GEB</a>,
where I got my first exposure to the <a href="#peano-postulates">Peano
Postulates</a> (to appear again in Algebra@@) and learned to grok <a
href="knowledge.html#Godel31">Godel's incompleteness theorem</a>. The
first blow.</p>
<p>really good calculus instructor, text [<a
href="knowledge.html#Spivak67">Spivak</a>]:</p>
<blockquote>
Every aspect of this book was influenced by the desire to present
calculus not merely as a prelude to but as the first real encounter
with mathematics. Since the foundation of analysis provided the arena
in which modern modes of mathematical thinking developed, calculus
ought to be the place in which to expect, rather than avoid, the
strengthening of insight with logic. In addition to developing the
students' intuition about the beautiful concepts of analysis, it is
surely equally important to persuade them that precision and rigor are
neither deterrents to intuition, nor ends in themselves, but the
natural medium in which to formulate and think about mathematical
questions.</blockquote>
</dd>
<dt>1988</dt>
<dd>LIN 340. text: <a href="#LPtoc">Lewis & Papadimitriou</a>
<ul>
<li>Turing's work on the <a name="halting-problem">Halting Problem</a>
(1950s?)</li>
<li>Church-turing thesis (equivalence of turing machines, grammars,
primitive recursive functions, and other computing devices)</li>
<li>Chomsky's work on Linguistics<br>
Regular, Context-Free, Context-Sensitive Languages</li>
</ul>
</dd>
<dt>1989 spring</dt>
<dd>CS 351 with Ben Kuipers<br>
<a href="http://www.cs.utexas.edu/users/qr/algernon.html">Algernon and
Access-Limited Logic</a></dd>
<dd>first study of A.I. & knowledge representation<a
href="#kolln"><br>
really good English grammar book</a></dd>
<dt>??</dt>
<dd><a href="#Shafer88">Hypercard book</a>.</dd>
<dd>"We Believe in the Interconnectedness of All Things" -- <a
href="#gently87">Gently</a></dd>
<dt>??</dt>
<dd>diff eq course turned out to be about dynamical systems</dd>
<dt>1998</dt>
<dd>attempted to teach myself Quantum Mechanics using <a
href="#Quantum">quantum mechanics for mathemeticans book</a>. didn't get
very far.</dd>
<dd>Heisenberg uncertainty principle, Schrödinger's demon (sp?)</dd>
<dt>1991, Convex in Richardson</dt>
<dd>discovered the web via alt.hypertext in <a href="../History.html">Aug
'91</a>. Started reading TimBL's <a
href="../DesignIssues/Formats">original writings on the format of
documents </a>in hypermedia systems</dd>
<dt>1991 ACM Hypertext conference in San Antonio</dt>
<dd>met TimBL for the 1st time<br>
discovered <a href="../Architecture/NOTE-ioh-arch#ENG90">Engelbart's
work</a>.</dd>
<dt>1992 June, Convex in Richardson</dt>
<dd><a href="../People/Connolly/pubs.html#9206mime-global">MIME for global
hypertext</a></dd>
<dd>tried to study <a
href="../MarkUp/SGML/Overview.html#hytime">HyTime</a>; Never quite
grokked (D. Raymond said it's just like the relational model
@@where/when?)</dd>
<dt>1994 Spring, HaL in Austin</dt>
<dd>an <a href="../MarkUp/html-spec/html-essay.html">essay</a> on www-talk
about HTML, SGML, markup languages, and the <a
href="knowledge.html#halting-problem">halting problem</a></dd>
<dt>1994 May</dt>
<dd>WWW1</dd>
<dt>1994 Oct, HaL in Austin</dt>
<dd>Boyer pointed me to <a href="#94QED">QED manifesto;</a> 08 Oct <a
href="http://www.mcs.anl.gov/qed/mail-archive/volume-2/0013.html">Naive
Observations</a>; <a href="../Math/QED.html">QED survey</a></dd>
<dt>1995 March, W3C/MIT</dt>
<dd><a href="../MarkUp/SGML/">SGML on the Web</a></dd>
<dd>seeds of XML: On the use of SGML for information exchange, as opposed
to dummying down to HTML for publication.<br>
BAN logic@@, larch@@<br>
<a href="../Philosophy/">Philosophy</a> PHB's thoughts on philosopy and
the web<br>
re-discovered Codd's Relational Calculus</dd>
<dd>a very powerful data model</dd>
<dt>1995 WWW3 in Darmstadt</dt>
<dd><a href="http://www.knosso.com/JMax/WWW95_report.html">"HTML is the
MS-DOS of the Web"</a> <a
href="http://www.atg.apple.com/areas/fellows/Alan_Kay/kay.html">Alan
Kay</a> at WWW3. (@@ is this talk on the web somewhere?) Also: patterns
(<a href="http://hillside.net/patterns/DPBook/DPBook.html">book</a>);
organic, non-linear systems vs. classical mathematics</dd>
<dt>1996-1997</dt>
<dd><a href="../Search/catalogs.html">catalogs</a> and <a
href="../Addressing/citations.html">citations</a></dd>
<dd>Smart Catalogs, abstract and citation services</dd>
</dl>
<h2>Bibliography</h2>
<dl>
<dt><cite><a name="peano-postulates">Arithmetics principia</a></cite></dt>
<dd>Giuseppe Peano, 1889 (according to <a
href="http://www.shu.edu/projects/reals/history/peano.html">Paul Golba's
notes</a> 09 Jan 1996)</dd>
<dt><cite><a name="PM">Principia Mathematica</a></cite></dt>
<dd>A. N. Whitehead (1861-1947) and B. Russell (1872-1970)<br>
1910-1913 (vol I-III)<br>
(per <a
href="http://thoralf2.uwaterloo.ca/htdocs/scav/principia/principia.html">Principia
Mathematica: Whitehead and Russell</a> Fri Jan 31 14:03:09 EST 1997<br>
© Stanley Burris)</dd>
<dt><cite><a name="Godel31">Uber formal unentscheidbare Sätze der Principia
Mathematica und verwandter Systeme</a></cite></dt>
<dd>Kurt Gödel, 1931</dd>
<dt><a name="Spivak67">Calculus</a></dt>
<dd>Spivak, Michael.<br>
2nd Ed. 1967 ISBN 0-914098-77-2<br>
<a
href="http://www.amazon.com/exec/obidos/ASIN/0914098896/danconnollyA/">3rd
(September 1994) edition at amazon</a></dd>
<dt><cite><a name="GEB"
href="http://www.amazon.com/exec/obidos/ASIN/0465026567/danconnollyA/">Gödel,
Escher, Bach - An Eternal Golden Braid</a></cite></dt>
<dd><a href="http://www.psych.indiana.edu/cogsci/hofstadter.html">Douglas
Hofstadter</a>, 1979</dd>
<dt><cite><a
href="http://www.amazon.com/exec/obidos/ASIN/0132624788/danconnollyA/"
name="LPtoc">Elements of the Theory of Computation</a></cite></dt>
<dd>Lewis & Papadimitriou, ????</dd>
<dt><cite><a name="Bonevac86">Proof<br>
A text for Philosophy 313K<br>
Logic, Sets and Functions</a></cite></dt>
<dd>Daniel Bonevac<br>
Department of Philosophy<br>
The University of Texas at Austin<br>
Austin, Texas 78712<br>
© Daniel Bonevac 1986</dd>
<dt><cite><a name="kolln">Understanding English Grammar</a></cite></dt>
<dd>by Martha Kolln, 1986 (2nd ed?)<br>
<a
href="http://www.amazon.com/exec/obidos/ASIN/0205268552/danconnollyA/">5th
ed amazon</a></dd>
<dt><cite><a name="Quantum"
href="http://uk.cambridge.org/physics/catalogue/0521277655/default.htm">Quantum
Mechanics and the Particles of Nature: An Outline for
Mathematicians</a></cite></dt>
<dd>Anthony Sudbery 1986 <a href="http://uk.cambridge.org/">Cambridge
University Press</a></dd>
<dt><cite><a name="gently87">Dirk Gently's Holistic Detective
Agency</a></cite></dt>
<dd>Adams, Douglas 1987</dd>
<dt><cite><a
href="http://www.amazon.com/exec/obidos/ASIN/0672484269/danconnollyA/"
name="Shafer88">HyperTalk Programming/Includes Version 1.1</a></cite></dt>
<dd>© 1988 by Daniel G. Shafer</dd>
<dt><cite><a href="ftp://info.mcs.anl.gov/pub/qed/manifesto"
name="94QED">The QED Manifesto</a></cite></dt>
<dd>May 15, 1994</dd>
</dl>
<h2>Handy place to find stuff...</h2>
<dl>
<dt><a
href="http://xxx.lanl.gov/cmp-lg/" ADD_DATE="798963695" LAST_VISIT="798963681" LAST_MODIFIED="816894291">The
Computation and Language E-Print Archive</a><br>
<a href="http://www.research.digital.com/SRC/publications/src-rr.html">SRC
Research Reports</a></dt>
<dd>Modula3, BAN logic, ...</dd>
<dt><a href="http://glimpse.cs.arizona.edu:1994/bib/">Computer Science
Bibliography Glimpse Server</a></dt>
<dt><a href="http://cs.indiana.edu/cstr/search">UCSTRI -- Cover
Page</a></dt>
<dd>Mark V's Unified Computer Science Technical Report Index.<a
href="http://www.cs.indiana.edu:800/cstr/search">UCSTRI</a></dd>
</dl>
<p></p>
<hr>
<address>
Created 3 Jan 1996 <a href="../People/Connolly/">Connolly</a><br>
last update by $Author: connolly $ on $Date: 2001/02/12 16:11:52 $
</address>
</body>
</html>