![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslThis Friday, I went to the university's library. The day when classes start is finally defined: April 22. But they still haven't figured out if I got accepted into the classes I want: AI and ProgLan Paradigms.
I spent a good deal of time browsing through the logic section, with the goal of understanding the concept of expressivity, and in particular why FOL can't express transitive closure. Once I understand that, I will read why that doesn't matter for mathematics, even though it's used to represent arbitrary mathematical statements.
MacAllester: First Order Logic
The goal was not attained, but I am proud to report that I now understand Skolemization!
Books worth looking at more:
Girard - Proofs and Types
Popkorn - First Steps in Modal Logic
Pitts & Dybjer - Semantics and Logics of Computation
and for an "easier", conceptual introduction (euphemism for "less formal")
Barwise & Etchemendy - Language, Proof and Logic, as cited by![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
jmmorton
I noticed that Ed Fredkin is mentioned in Society of Mind, Hameroff's "Ultimate Computing". Besides reading about him in survey paper by Chalmers. It's funny how you only notice something once you know it face to face. Fredkin is the interesting physicist who paid me dinner and gave me a ride in Cambridge when I met Marvin Minsky.
-----------------------------------
Then I left the university, got dinner at Habib's, and had a brief jam with Ricke (the only other Béla Fleck fan I've met here). Then Ana Patrícia called, and we went to Abril Pro Rock, which mostly sucked.
I met two Indians who were selling jewelry, feathers, etc. I spoke to them, and they taught me some things in Aité, which is a Macro-Gê language. It turns out they have a village in Águas Belas, only 4 hours from here. It was the first time I ever spoke to an Indian. They seemed to have a peaceful, wise tone of voice. I knew nothing about their culture before.
I spent a good deal of time browsing through the logic section, with the goal of understanding the concept of expressivity, and in particular why FOL can't express transitive closure. Once I understand that, I will read why that doesn't matter for mathematics, even though it's used to represent arbitrary mathematical statements.
MacAllester: First Order Logic
The goal was not attained, but I am proud to report that I now understand Skolemization!
Books worth looking at more:
Girard - Proofs and Types
Popkorn - First Steps in Modal Logic
Pitts & Dybjer - Semantics and Logics of Computation
and for an "easier", conceptual introduction (euphemism for "less formal")
Barwise & Etchemendy - Language, Proof and Logic, as cited by
jmmortonI noticed that Ed Fredkin is mentioned in Society of Mind, Hameroff's "Ultimate Computing". Besides reading about him in survey paper by Chalmers. It's funny how you only notice something once you know it face to face. Fredkin is the interesting physicist who paid me dinner and gave me a ride in Cambridge when I met Marvin Minsky.
-----------------------------------
Then I left the university, got dinner at Habib's, and had a brief jam with Ricke (the only other Béla Fleck fan I've met here). Then Ana Patrícia called, and we went to Abril Pro Rock, which mostly sucked.
I met two Indians who were selling jewelry, feathers, etc. I spoke to them, and they taught me some things in Aité, which is a Macro-Gê language. It turns out they have a village in Águas Belas, only 4 hours from here. It was the first time I ever spoke to an Indian. They seemed to have a peaceful, wise tone of voice. I knew nothing about their culture before.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2003-04-14 04:18 pm (UTC)Are there many Indians in Brazil? What percentage?
Re:
Date: 2003-04-14 04:55 pm (UTC)But as a percentage of the Brazilian blood, 20% is probably a fair estimate.