Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
2 June 2025
|
|
07:16 | Goto machine 3 changes history +389 [TenBillionPlusOne (3×)] | |||
| m |
|
07:16 (cur | prev) −1 TenBillionPlusOne talk contribs (→NOP) | |||
|
|
07:16 (cur | prev) +59 TenBillionPlusOne talk contribs (→NOP) | ||||
|
|
07:11 (cur | prev) +331 TenBillionPlusOne talk contribs (→Hello world) | ||||
1 June 2025
|
|
19:31 | Goto machine 3 changes history −9,485 [TenBillionPlusOne (3×)] | |||
|
|
19:31 (cur | prev) −51 TenBillionPlusOne talk contribs (→Hello world) | ||||
|
|
18:29 (cur | prev) −9,596 TenBillionPlusOne talk contribs | ||||
|
|
13:14 (cur | prev) +162 TenBillionPlusOne talk contribs | ||||
|
|
N 17:58 | General recursive function 8 changes history +6,275 [Xysdd (2×); Corbin (6×)] | |||
| m |
|
17:58 (cur | prev) +924 Corbin talk contribs (Proofread everything but the equations. Mention Rice's theorem for swag. Give topos theory a (skippable) section.) | |||
| m |
|
17:27 (cur | prev) +33 Corbin talk contribs (→External resources: Fix reference formatting.) | |||
|
|
17:27 (cur | prev) +2,324 Corbin talk contribs (→Relation to other models: Having trouble finding PDFs of references. Hyland's chapter is not public. I blame Robert Maxwell for the state of academic publishing.) | ||||
|
|
16:38 (cur | prev) +1,119 Corbin talk contribs (Be more precise. This edit is all about removing falsehoods and establishing common context.) | ||||
|
|
16:01 (cur | prev) +113 Corbin talk contribs (Add example languages. I could only find one offhand, but I bet that there are others.) | ||||
|
|
15:58 (cur | prev) +332 Corbin talk contribs (→Primitive recursive function: Explain PRF as an extension of PR.) | ||||
| m |
|
08:56 (cur | prev) +1 Xysdd talk contribs | |||
| N |
|
08:49 (cur | prev) +1,429 Xysdd talk contribs (Created page with "'''General recursive functions''' are functions from natural numbers to natural numbers. General recursive functionsare equivalent to functions computable by Turing machines. ==Definition== A general recursive function is constructed by basic functions and operators. ===Basic functions=== * Zero: Z(x) = 0 * Successor: S(x) = x+1 * Projection: P<sub>i</sub><sup>n</sup>(x<sub>1</sub>, ..., x<sub>n</sub>) = x<sub>i</sub> ===Operators=== * Composition : f(x<sub>1</sub>,...") | |||
| 13:09 | Move log TenBillionPlusOne talk contribs moved page User:TenBillionPlusOne/Draft to Goto machine (I finished the draft. :)) | ||||
| 13:08 | User:TenBillionPlusOne/Draft diffhist +11,771 TenBillionPlusOne talk contribs | ||||
| 07:50 | Markov algorithm diffhist −437 Xysdd talk contribs (Undo revision 158305 by Tommyaweosme (talk) seems to be about Markov chain rather than Markov algorithm) | ||||
31 May 2025
|
|
16:37 | User:TenBillionPlusOne/Draft 2 changes history +1,788 [TenBillionPlusOne (2×)] | |||
|
|
16:37 (cur | prev) +273 TenBillionPlusOne talk contribs | ||||
|
|
16:29 (cur | prev) +1,515 TenBillionPlusOne talk contribs | ||||