Suppose one is allowed denumerably many letters in an alphabet and denumerably many instructions (i.e., denumerably many four-tuples of the “Q1 0 1 Q2” (quintuples would do as well) in a TM program. Then one can treat each of the standard numerals in decimal notation as a letter in …
One often finds computation described as having originated with Alan Turing and as symbol manipulation. Yet, Turing imposed certain sorts of finiteness conditions on computations, such as that a program must be finite in length. These finiteness conditions are not captured in the description of computation as symbol manipulation. So, …
I’m just back from Kirchberg am Wechsel where the annual Wittgenstein Symposium took place. This year’s edition was vastly inspiring for me – maybe because the good old Ludwig never really featured in plenary talks.
A fascinating discussion on the nature of scientific modeling, inter-level explanation, hierarchical decomposition, etc., in computational neuroscience has been unfolding over the last couple of weeks on the Comp-neuro newsgroup. Archives can be found here.
In the philosophical literature, it is common enough to find phrases such as “Substantival dualists believe …” and “Neuroscientists believe …” Yet, these can be dramatically different from an epistemological perspective. The former will often state a definition or logical consequence of what it is to be a substantival dualist, …
This was a nice surprise. Someone wrote a list of the top 100 Mental Health and Psychology Blogs and included us.
Here.
