Quantcast
Channel: The Phaneron » lambda calculus
Browsing all 4 articles
Browse latest View live

Formal Systems, Common Logic and LBase

Folks might enjoy the Soloman Feferman lecture Goedel, Nagel, Minds and Machines. After recounting an exchange between Godel and Nagel circa 1956, Feferman describes the implications of the minds vs....

View Article



To Pragmaticism and Beyond: The Emergence of Meaning in Complex Systems

I’ve been active on the ontolog-forum for the past month where I’ve been engaged in dialog with the great folks there discussing, in part, topics related to my recent post called the State of the...

View Article

I Love it When a Plan Comes Together

I can see it now. Its in the future, probably two years out, maybe more, but its clear to me even Today. I met some folks. I listened to what they said. I made a few choices with a multi-year pay off....

View Article

Quiet Nights and Quiet Stars

Quiet chords on my guitar … and quiet from Rick for the past few months. Quiet on the Phaneron means there will be much to say. As advertised, the first six months of 2011 have been about thinking...

View Article
Browsing all 4 articles
Browse latest View live




Latest Images