- Prove a particular (2,3) Turing machine is Turing Complete (or not) and win $25,000 http://www.wolframscience.com/prizes/tm23/ 2 comments programming
Linking pages
- The Prize Is Won; The Simplest Universal Turing Machine Is Proved—Wolfram Blog http://blog.wolfram.com/2007/10/24/the-prize-is-won-the-simplest-universal-turing-machine-is-proved/ 162 comments
- Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel—Stephen Wolfram Writings https://writings.stephenwolfram.com/2020/12/where-did-combinators-come-from-hunting-the-story-of-moses-schonfinkel/ 59 comments
- A New Kind of Science: A 15-Year View | WIRED https://backchannel.com/a-new-kind-of-science-a-15-year-view-4f5668abe54f 51 comments
- Farewell, Marvin Minsky (1927–2016)—Stephen Wolfram Writings http://blog.stephenwolfram.com/2016/01/farewell-marvin-minsky-19272016/ 34 comments
- When Exactly Will the Eclipse Happen? A Multimillennium Tale of Computation—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/03/when-exactly-will-the-eclipse-happen-a-multimillennium-tale-of-computation/ 26 comments
- Multiway Turing Machines—Wolfram Institute Bulletins https://www.wolframphysics.org/bulletins/2021/02/multiway-turing-machines/ 22 comments
- Announcing the Rule 30 Prizes—Stephen Wolfram Writings https://writings.stephenwolfram.com/2019/10/announcing-the-rule-30-prizes/ 20 comments
- Logic, Explainability and the Future of Understanding—Stephen Wolfram Writings https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/ 19 comments
- Announcing the Rule 30 Prizes—Wolfram Blog https://blog.wolfram.com/2019/10/01/announcing-the-rule-30-prizes/ 17 comments
- Exploring Rulial Space: The Case of Turing Machines—Wolfram Institute Bulletins https://writings.stephenwolfram.com/2020/06/exploring-rulial-space-the-case-of-turing-machines/ 10 comments
- Charting a Course for “Complexity”: Metamodeling, Ruliology and More—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/09/charting-a-course-for-complexity-metamodeling-ruliology-and-more/ 7 comments
- Can AI Solve Science?—Stephen Wolfram Writings https://writings.stephenwolfram.com/2024/03/can-ai-solve-science/ 6 comments
- After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/03/after-100-years-can-we-finally-crack-posts-problem-of-tag-a-story-of-computational-irreducibility-and-more/ 3 comments
- Logic, Explainability and the Future of Understanding—Stephen Wolfram Writings https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/ 2 comments
- 1920, 2020 and a $20,000 Prize: Announcing the S Combinator Challenge—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/06/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/ 1 comment
- When Exactly Will the Eclipse Happen? A Multimillenium Tale of Computation—Stephen Wolfram Writings http://blog.stephenwolfram.com/2017/08/when-exactly-will-the-eclipse-happen-a-multimillenium-tale-of-computation/ 1 comment
- Twenty Years Later: The Surprising Greater Implications of A New Kind of Science—Stephen Wolfram Writings https://writings.stephenwolfram.com/2022/05/twenty-years-later-the-surprising-greater-implications-of-a-new-kind-of-science/ 0 comments
- Living a Paradigm Shift: Looking Back on Reactions to A New Kind of Science—Stephen Wolfram Writings http://blog.stephenwolfram.com/2012/05/living-a-paradigm-shift-looking-back-on-reactions-to-a-new-kind-of-science/ 0 comments
- How We Got Here: The Backstory of the Wolfram Physics Project—Stephen Wolfram Writings https://writings.stephenwolfram.com/2020/04/how-we-got-here-the-backstory-of-the-wolfram-physics-project/ 0 comments
- A New Kind of Science: A 15-Year View—Stephen Wolfram Writings http://blog.stephenwolfram.com/2017/05/a-new-kind-of-science-a-15-year-view/ 0 comments
Related searches:
Search whole site: site:www.wolframscience.com
Search title: Wolfram 2,3 Turing Machine Research Prize
See how to search.