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