User contributions
Jump to navigation
Jump to search
- 09:23, 23 April 2006 diff hist +8 m Computer science Creating new wikipage Recursive function theory by making this word a link to it
- 03:05, 23 April 2006 diff hist +700 Turing machine More precise description of the requirement →Discernable non-emptyness: special state, special symbol
- 02:29, 23 April 2006 diff hist +1,697 Turing machine Adding new section: →Variants: of defining the concept of Turing machine
- 23:00, 22 April 2006 diff hist +29 m Turing machine typos, and Prolog terminology mistake correction
- 22:15, 22 April 2006 diff hist +4,306 N Turing machine Plans for designing a programming language, which allows us to experiment with the main concepts of Turing machines. Syntax by examples, and some thoughts on the Haskell implementation
- 19:44, 22 April 2006 diff hist +1,319 Computer science New section →To do: : implementing the different approaches of concept of algorithm as programming languages, and using them in teaching foundations of mathematics and metaprogramming
- 17:00, 22 April 2006 diff hist 0 m Computer science Changing the order of the table-of-contents and the Dijkstra-motto
- 16:57, 22 April 2006 diff hist +162 Computer science Motto: Computer Science is no more about computers than astronomy is about telescopes. Motto: ,,Computer Science is no more about computers than astronomy is about telescopes'' by E. W. Dijkstra
- 16:48, 22 April 2006 diff hist +135 Exact real arithmetic Why the chosen functional language of Martín Escardó's exact real arithmetic calculator project is Haskell
- 14:10, 22 April 2006 diff hist +20 m Computer science add headline ,,Introduction''
- 14:08, 22 April 2006 diff hist +196 m Computer science A link back to Exact real arithmetic -- in fact, it was this topic that forced me to create the separate ,,Computer science'' wikipage (with section ,,Computability theory'').
- 13:51, 22 April 2006 diff hist +47 m Computer science Categorizing: Category:Theoretical foundations. Table of contents.
- 13:49, 22 April 2006 diff hist +576 N Computer science Filling with the most important links. Originally it was Martín Escardó's Computer Science page which made me to create a wikipage on this topic.
- 13:35, 22 April 2006 diff hist -20 Exact real arithmetic Martín Escardó's page on computer science (in general) and other materials make it appropriate to establish a separate Haskell Wiki page on Computer science.
- 13:16, 22 April 2006 diff hist +421 Exact real arithmetic Links: (1) Martín Escardó's project and papers; (2) HaWiki's ExactRealArithmetic
- 12:43, 22 April 2006 diff hist +122 m Exact real arithmetic A link back to Libraries and tools/Mathematics. And a (redundant) link to Wikipedia's Computability theory.
- 12:33, 22 April 2006 diff hist +911 Exact real arithmetic What exact real arithmetic is NOT: _fixed_ arbitrary precision decimals.
- 11:25, 22 April 2006 diff hist +1,087 N Exact real arithmetic or ,,computable reals'', a topic embracing analysis, arithmetic, computability. Introductory text, and links: 1) Vuillemin's strong theoretical foundation article 2) Exact Computation, a portal-like
- 11:00, 22 April 2006 diff hist +285 Applications and libraries/Mathematics This is a huge topic embracing many different approaches, and raises questions rooted deeply in computabibity theory, so it deserves its own wikipage
- 08:30, 18 April 2006 diff hist -6 m Zipper monad Updating links to Zipper, according to its un-camelcase redirection