aatu.koskensilta1's articles:

Items(3) /1

Alan Turing, leading mind of the twentieth century 4 22 (12/24/2011 7:35:17 PM) comp.theory The gifts have been unwrapped, the nutmeg drunk, and _It's a Wonderful Life_ watched for the 4363th time. (We Finns celebrate Christmas on Christmas Eve, for some reason, and, truth be told, don't actually d... Aatu

Primitive recursive functions #2 1 37 (8/23/2010 10:22:04 AM) comp.theory All (mathematical) functions we meet in real world programs are primitive recursive. I learned long ago that even though this is true it doesn't mean we can in programming restrict ourselves to primitive recur... Aatu

\uparrow and \downarrow spacing, when used to indicate converging and diverging computation 7 57 (2/27/2009 9:27:13 AM) comp.text.tex I'm writing a paper which involves Turing machines and their halting and non-halting. The more or less standard way to express "M halts" symbolically is M\downarrow, and similarly for "M does not halt" (empty ... Aatu

aatu.koskensilta1's replies:

Items(52) /6 Next >> Last >|

Alan Turing, leading mind of the twentieth century 4 22 (12/24/2011 7:35:17 PM) comp.theory The gifts have been unwrapped, the nutmeg drunk, and _It's a Wonderful Life_ watched for the 4363th time. (We Finns celebrate Christmas on Christmas Eve, for some reason, and, truth be told, don't actually d... aatu.koskensilta1 (232)

AATU denies to comment! 17 17 (12/27/2011 8:58:09 AM) comp.ai.philosophy INSERT_SCI.MATH_POSTER'S_NAME cannot prove this statement is true. "Aatu cannot prove this statement is true" AATU DISAPPEARS FOR 48 HOURS! ... infinity4567 (60)

QUESTION: Do all SETS in ZFC correspond to a FORMULA of ZFC? 59 24 (12/28/2011 3:14:59 PM) comp.ai.philosophy Do all SETS in ZFC correspond to a FORMULA of ZFC? Your time starts now! Herc -- http://MATHEOLOGY.com ... grahamcooper7 (839)

The Halting Problem is based on an ill-formed question (2012-03-09) 81 44 (3/9/2012 2:23:16 PM) comp.theory M( String Input ) { if ( H( Input, Input ) ) Loop Forever; else Exit; } H specifies an infinite set of Turing Machines included within template M h is one element of set H m represents template M that has... NoSpam271 (937)

call by reference 34 30 (3/23/2012 12:56:38 PM) comp.lang.javascript I know, JavaScript does not support call-by-reference. Every function invocation does call-by-value, even if that value is a reference value to an array-/function-/plain-Object, and not a primitive. Yet, the... andber93 (39)

ALL PERMUTATIONS OF INFINITY 180 180 (5/21/2012 12:00:11 AM) comp.ai.philosophy How many ways can you re-order ? 3! = 3 Factorial = 3X2X1 = 6 How many different ways can you order ? oo X oo-1 X oo-2 X .... X 3 X 2 X 1 It's not well defined! But you can use all possible computab... grahamcooper7 (839)

=?ISO-8859-1?Q?Matheology_=A7_020_Epistola_Pentecostes_MDCCCLXXXVIII?= 17 32 (5/27/2012 7:39:33 AM) comp.theory Matheology =A7 020: Epistola Pentecostes MDCCCLXXXVIII I have no doubt concerning the truth of the tranfinitum, which I have recognized with the help of God. [...] I happen to be a somewhat familiar not on... mueckenh (275)

Intuitive explanation of currying. 3 35 (7/15/2012 1:17:19 PM) comp.lang.functional I was reading/reminded that 'lambda calculus is not easy'. So I a got-out my copy of http://en.wikipedia.org/wiki/Lambda_calculus But I can't afford the effort to learn how to edit wikis. So I'll put it her... no.top.post (346)

Deploying Common LISP? 47 34 (11/28/2012 12:18:31 AM) comp.lang.lisp Heyas all..! I am relatively new to Common LISP, so bear with me here. I have been reading through Practical Common LISP and reading questions and answers about the language on here and Stackoverflow, ... Archenoth (10)

passing macro as argument to a macro 14 32 (11/28/2012 3:51:45 PM) comp.lang.lisp I would like to know how to have a macro expanded when passed as an argument to another macro. For example, (defmacro cond-clause (expr res) `(,expr (push ,res res))) (macroexpand-1 '(cond-clause (=... nmarceli (17)