I've seen mention of this "controversy" in the press (legislation that would designate computer programming languages as “critical foreign languages” in education), but this is the actual proposed bill.
The official short title of the name is believed to be unique among Congressional legislation. “416d65726963612043616e20436f646520” is the hexadecimal code translation of “America Can Code.”
"Nature presents us with new ways of computing, from the Universe to the brain. ... We need to embrace more experimental approaches to computation, and a renewed respect for embodied computing — as anticipated in Turing's late work in the 1950s on artificial intelligence and morphogenesis. ... If we look at the world with new eyes, allowing computation full expression, we may come to startling conclusions."
— S. Barry Cooper (University of Leeds)
• "The concept of computation is arguably the most dramatic advance in mathematical thinking of the past century."
• "Church, Gödel, and Turing defined it in terms of mathematical functions ... They were inclined to the view that only algorithmic functions constituted computation."
• "I'll call this the mathematician's bias because I believe it limits our thinking and prevents us from fully appreciating the power of computation."
— Dennis J. Frailey (ACM UBIQUITY SYMPOSIUM: Computation Is Process)
"Embodying Computation at Higher Types" (TURING 100)
The Mathematician's Bias - and the Return to Embodied Computation
"The picture is one of simple computable rules, with a degree of connectivity underpinning a higher order computation, and emergent forms defined at the edge of computability."
See e.g. p129 of http://webdoc.ubn.ru.nl/mono/o/oconnor_r/incoanco.pdf. The authors of the original paper are careful, but such distinctions are easily lost in popular surveys.
"Higher recursion theory" adds oracles for e.g. the halting problem. It is not related to, say, function types in type theory.
- Brown UniversityPh.D. Applied Mathematics (1979), Sc.M. (1976), Sc.B. (1975)
- Texas Instruments (1982-2001), University of Maryland (1980-1982), Princeton University (1979-1980)
The Google+ Hall of Fame | Google+ Counter | gpc.fm | Lists, Trends &...
Google+ Counter is helping you finding new people, trends and stats on Google+. It also is the home of the Top followed Google+ Ladies and m
Ten Recent Books of Poetry You Should Read Right Now
The robust state of poetry in America is evidenced by this non-exhaustive, list of superlative books, all of which are must-reads for those
Lady Gaga Makes Ralph Macchio a Trending Topic on Twitter
Lady Gagas MTV VMAs performance made Ralph Macchio a trending topic on Twitter. So how did the actor react to being compared to the biggest
Animal pictures of the week: 30 March 2012 - Telegraph
All creatures great and small in our ever popular animal gallery.