aboutsummaryrefslogtreecommitdiffstats
path: root/journal/05feb2009.html
blob: 64be27f81afcc52220cf50d6bf167545e473cb25 (plain)
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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head><title>bnewbold thesis</title></head>
<body style="margin: 25px; font-family: helvetica;">
<h1 style="border-bottom: 2px solid;">
Journal: Feb 05, 2009</h1>
<i>Bryan Newbold, <a href="mailto:bnewbold@mit.edu">bnewbold@mit.edu</a></i><br />
<i><a href="http://web.mit.edu/bnewbold/thesis/">
http://web.mit.edu/bnewbold/thesis/</a></i>
<br /><p />
<!-- ================================================================ -->
<!-- ================================================================ -->

Today i'm skimming through sections on pullbacks and pushforwards without much
understanding; I think i've gone pretty far down the math path for now and need
to push through to some physical problems. I can return later if I need to?
It looks like ultimately it will be a good example of the functional approach,
but stumbles before strides.

<p />
To define: Cartan, Christoffel, 

<p />
I like the list of thing which are important enough to be refered to with a
"the-" prefix in scheme:
<pre style="margin:20px; border-left: solid grey 3px; background-color:lightgrey
;padding:5px;width:750px;">
the-cons-table    the-empty-stream  the-environment   the-environment?
the-ether         the-null-symbol   the-real-line   
</pre>
What components of the entire operating system are unique/important enough to
be refered to this way? The only "a-" is a-reduce, which while technically 
"a" thing, doesn't refer to just any old reduce. This makes sense.

<p />
Whew, finally got through the end of the differential geometry memo, at least
skimming through it. Looks like there's plenty of work still to be done! Of
course i'm sure a lot of it is in will's calculus additions, i'll have to
look through that next.
<br /><br /> 
<a href="04feb2009.html"><i>(previous entry)</i></a>

<!-- ================================================================ -->
<!-- ================================================================ -->
</body>
</html>