Rein Henrichs reinh

A formal theory is syntactic in nature and is only meaningful when given a semantic component by applying it to some content

-- http://en.wikipedia.org/wiki/Theory#Theories_formally_and_scientifically

The view here to be argued is the following. It doesn’t matter, when we talk about the incompleteness theorem and its applicability to human thought, whether people are similar to Lieutenant Commander Data of Star Trek fame, with “positronic brains” whirring away in their heads, influenced from time to time by their “emotion chips,” or are on the contrary irreducibly spiritual creatures transcending all mechanisms.

Franzen, Torkel (2010-10-28). Godel's Theorem: An Incomplete Guide to Its Use and Abuse (Kindle Locations 1608-1611). Taylor & Francis - A. Kindle Edition.

…there exists today the beginning of a science which claims to possess a systematic method for such a clarification in meaning, and that is the phenomenology founded by Husserl. Here clarification of meaning consists in focussing more sharply on the concepts concerned by directing our attention in a certain way, namely, onto our own acts in the use of these concepts, onto our powers in carrying out our acts, etc. But one must keep in mind that this phenomenology is not a science in the same sense as other sciences. Rather it is (or in any case should be) a procedure or technique that should produce in us a new state of consciousness in which we describe in detail the basic concepts we use in our thought, or grasp other basic concepts hitherto unknown to us. I believe there is no reason at all to reject such a procedure at the outset as hopeless…not only is there no reason for the rejection (of phenomenology), but on the contrary one can present reasons in its favor.

-- Collected Works. III: Unpublished

	module MergeSort
	def self.sort(list)
	list = list.map{\|i\| [i]}
	list = pairs list while list.size > 1
	list.flatten
	end

	def self.pairs(list)
	return list if list.size < 2

	class PostsController < ApplicationController
	def show
	post = Post.find(params[:id])
	respond_with ViewModel::Post.new(post)
	end
	end

	import Control.Monad
	import Control.Monad.Instances

	palindrome :: String -> Bool
	palindrome = ap (==) reverse

	palindrome "radar" --> True

	#!/bin/sh
	PACKAGE_URL="http://dl.dropbox.com/u/132031/tokaidoapp.tgz"
	TOKAIDO_DIR="$HOME/.tokaidoapp"
	RUBY_VERSION="1.9.3-p194"

	function mktmpdir() {
	dir=$(mktemp -t tokaido-XXXX)
	rm -rf $dir
	mkdir -p $dir
	echo $dir

	# Output a TIME tag for correct browser-local time.
	#
	# options - The hash of options that specifies formats and such (default: {}).
	# :format - The Symbol for to_formatted_s or the String used
	# for strftime.
	# :moment_format - The String used by moment.js to format.
	# See: http://momentjs.com/docs/#/displaying/format/
	# :humanize - If true then will use humanized (relative)
	# version of the time.
	#

	<!DOCTYPE html>
	<html>
	<head>
	<script type="text/javascript" src="http://mbostock.github.com/d3/d3.js?2.0.0"></script>
	<script type="text/javascript" src="http://mbostock.github.com/d3/d3.csv.js?2.0.0"></script>
	<script type="text/javascript" src="http://mbostock.github.com/d3/d3.time.js?2.0.0"></script>
	<style type="text/css">

	body {
	font: 10px sans-serif;