Theory
Title Filter     Display # 
# Article Title
1 Knuth Prize 2019 Awarded For Contributions To Complexity Theory
2 Not 42 But 33 - The Sum Of Three Cubes
3 Google Smashes Pi Record For Pi Day
4 Google Takes On Quantum Computing
5 A New Mersenne Prime Discovery
6 Yoda's (Donald Knuth) Xmas Lecture
7 Proof Of Quantum Supremacy?
8 Computing With Trains - Turing's Trains
9 It's Pi Day And Google Gets In On It With A Doodle
10 Google Announces 72-Qubit Machine
11 Donald Knuth At 80 Still Improving TAOCP
12 Largest Prime Now Has Over 23 Million Digits
13 Donald Knuth's Christmas Tree Lecture 2017
14 What Is The Computational Power Of The Universe?
15 The Grasshopper Problem
16 The Corpus Christi Prime
17 Tetris On Game Of Life - A Great Achievement
18 New Proof That P≠NP: Final Update - Almost Certainly not
19 N Queens Completion Is NP Complete
20 LZ Compression And The One-Bit Catastrophe
21 Rubik's Cube Is Hard - NP Hard
22 HerbGrind: A Tool to Find Floating Point Errors
23 Best Laid Plans of Lions and Men
24 Pi Day 2017 - Why Pi?
25 //No Comment - Turmits are Turing-universal, The Whale Swarm Algorithm & Rules That Govern Fish
26 No Super Turing Machines
27 //No Comment - Approximate Edit Distance, Irrational Guards & DCT In 14 Additions
28 //No Comment - Is Parallel Programming Hard; Column Subset Selection Is NP-complete & The Balance Attack Against Proof-Of-Work Blockchains
29 The Computer Science Breakthrough Of The Decade Now Reinstated!
30 //No Comment - Unums,1×n Jigsaw Puzzles are Hard & P ? = NP
31 Knuth's 22nd 360 Degree Not Christmas Tree Lecture
32 //No Comment - The Blockchain, Technology Beats Algorithms & Bridges in Complex Networks
33 //No Comment - TDD, C++ Lambdas & Agile Under Scrutiny
34 A Mathematical Proof Takes 200 Terabytes To State
35 IBM Might Give Some Access To Its Five-Qubit Quantum Computer
36 A New Spaceship Speed In Life
37 Abel Prize For Proving Fermat's Last Theorem
38 (Pizza) Pi Day
39 Number Of Legal Go Positions Finally Worked Out
40 Largest Mersenne Prime Discovered
41 Knuth's 21st Not Christmas Tree Lecture
42 Quantum Physics Is Undecidable
43 A SAT Based Game
44 Quantum Cats
45 Microsoft Releases Quantum Computing Tool
46 Erdos Conjecture Proven
47 Computer Finds New Pentagonal Tiling - With Some Human Help
48 Wear Your Favourite Cellular Automaton As A Scarf
49 Sliding Blocks Are Turing Complete
50 Microsoft Z3 Theorem Prover Wins Award
51 MIT Finds Overflow Bugs
52 Pi Day Of The Century
53 Donald Knuth's Christmas Tree Lecture
54 Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
55 Look And Say Numbers And Conway's Constant
56 The Machine In The Ghost
57 Pulleys As Logic Gates
58 Search For Twin Prime Proof Slows
59 Complexity Theorist Gets Abel Prize
60 More Ties Than We Thought Or Ties Of The Matrix
61 Happy Pi Day!
62 Candy Crush Is Harder Than It Sounds - NP Hard
63 Does John Conway Hate Life?
64 A Mathematical Proof Too Long To Check - The Erdos Discrepancy Conjecture
65 Six Degrees Of Separation Is New
66 Knitting Is Turing Complete?
67 Quantum Computers Animated
68 Tensor Operations Are NP Hard
69 Cannibal Animal Games
70 Finding Solutions To Diophantine Equations By Smell
71 Kenneth Appel Remembered For Four Color Theorem Proof
72 The Life Of Pi - Yes It's Pi Day
73 48th Mersenne Prime Computed
74 Boson Sampling Tests Quantum Computing
75 Unshuffling A Square Is NP-Complete
76 A Paper In A Tweet
77 A Water Droplet-Based Computer
78 A Quantum Computer Finds Factors
79 The Revolution In Evolutionary Game Theory - Prisoners Dilemma Solved?
80 A New Computational Universe - Fredkin's SALT CA
81 What's a Sample of Size One Worth?
82 A Computable Universe - Roger Penrose On Nature As Computation
83 Hidden Markov Models, Viterbi and the Higgs Boson
84 A New Kind of Science Is Ten
85 Goldbach Conjecture - Closer to Solved?
86 Travelling Salesman - A Movie About P=NP
87 The Artificial Life of the App Store - the Best Strategy to Succeed
88 The Physical Travelling Salesman Challenge
89 Light Table - a Realization of a New Way to Code
90 A Crab-Based Computer
91 Szemerédi Awarded Abel Prize
92 Picture-Hanging Puzzles
93 Normal Numbers - A Video In Rhyme
94 Celebrate Pi Day It Contains All Human Knowledge
95 A Better Way To Program
96 Classic Nintendo Games Are NP Hard
97 Physics Is NP Hard
98 Turing's Biological Pattern Theory Proved
99 Just Enough Error Correction
100 $100,000 Prize For Proving Quantum Computers Are Impossible
 
«StartPrev12NextEnd»
Page 1 of 2