The Church-Turing ThesisIn 1936 Alonzo Church developed the Lambda CalculusAlan Turing developed the Turing MachineBoth were attempts to formalize the notion of computationThey were shown to be equivalentSince then, every model of computation proposed can be simulated by a TM or by a lambda expressionmodel restricted to allow only finite amount of work per stepChurch-Turing Thesis: Algorithms = TMs = Lambda ExpressionsJava, C++, Python, Lisp, Scheme, Scala, Powerpoint, Quantum Computers ... are all equivalent!
# | Name | Split | Finished at |
---|---|---|---|
1 | 6-5 | 0m 17s 269ms | 0m 17s 269ms |
2 | 6-6 | 2m 49s 255ms | 3m 06s 524ms |
3 | 6-4 | 3m 31s 361ms | 6m 37s 885ms |
4 | 6-3 | 2m 01s 984ms | 8m 39s 869ms |
5 | 6-2 Gold | 1m 48s 240ms | 10m 28s 109ms |
6 | 6-1 | 2m 41s 040ms | 13m 09s 149ms |
7 | 5-1 | 3m 09s 344ms | 16m 18s 493ms |
8 | 5-2 | 1m 43s 640ms | 18m 02s 133ms |
9 | 5-3 | 2m 37s 032ms | 20m 39s 165ms |
10 | 5-4 | 2m 31s 001ms | 23m 10s 166ms |
11 | 5-5 | 1m 41s 456ms | 24m 51s 622ms |
12 | 5-6 | 1m 57s 344ms | 26m 48s 966ms |
13 | 4-1 | 2m 06s 376ms | 28m 55s 342ms |
14 | 4-2 | 2m 23s 305ms | 31m 18s 647ms |
15 | 4-3 | 1m 45s 216ms | 33m 03s 863ms |
16 | 4-4 | 1m 40s 856ms | 34m 44s 719ms |
17 | 4-5 Gold | 1m 31s 824ms | 36m 16s 543ms |
18 | 4-6 Gold | 1m 36s 622ms | 37m 53s 165ms |
19 | 3-6 | 1m 44s 455ms | 39m 37s 620ms |
20 | 3-5 Gold | 1m 23s 595ms | 41m 01s 215ms |
21 | 3-4 | 2m 27s 184ms | 43m 28s 399ms |
22 | 3-3 Gold | 0m 36s 088ms | 44m 04s 487ms |
23 | 3-2 | 2m 05s 489ms | 46m 09s 976ms |
24 | 3-1 | 3m 39s 880ms | 49m 49s 856ms |
25 | 2-1 | 1m 57s 192ms | 51m 47s 048ms |
26 | 2-2 | 2m 47s 872ms | 54m 34s 920ms |
27 | 2-3 Gold | 1m 50s 240ms | 56m 25s 160ms |
28 | 2-4 Gold | 2m 13s 725ms | 58m 38s 885ms |
29 | 2-5 | 1m 40s 427ms | 1h 00m 19s 312ms |
30 | 2-6 | 1m 24s 236ms | 1h 01m 43s 548ms |
31 | 1-1 | 1m 06s 677ms | 1h 02m 50s 225ms |
32 | 1-2 | 1m 37s 144ms | 1h 04m 27s 369ms |
33 | 1-3 | 1m 22s 514ms | 1h 05m 49s 883ms |
34 | 1-4 | 2m 43s 253ms | 1h 08m 33s 136ms |
35 | 1-5 | 2m 35s 625ms | 1h 11m 08s 761ms |
36 | 1-6 | 1m 59s 460ms | 1h 13m 08s 221ms |
In celebration of the 1 year anniversary since the release of Summoning Salt's world record history of TCS Any% ( if you haven't watched it, highly recommend!), we will be holding a public Any% race this Friday at 6PM EST. Anyone can join! Tune in on [twitch.t