1
Mihai Pătraşcu 1982–2012
A pathbreaking researcher taken too soon from us (src) Mihai Pătraşcu passed away on Tuesday of brain cancer, having not yet reached age 30. We, Dick and Ken, did not know about his year-…
Gödel's Lost Letter and P=NP
a personal view of the theory of computation
- Popular posts
- 15
- Total points
- 2,193
- HN comments
- 654
- Rank
- #732 personal
Visit rjlipton.wordpress.com → RSS feedOn Hacker News Aug 2010 – Jan 2021
2
P = NP Proofs: Advice to claimers
Advice to claimers The Claimers The Claimers are a gang on the hit AMC television series The Walking Dead. They are the main antagonists in the second half of the zombie-apocalypse show’s Sea…
3
Peter M. Neumann has died
Memories from Oxford days Mathematical Institute src Peter Neumann, Professor of Mathematics at Queen’s College, Oxford University, passed away two weeks ago. Last Monday would have been his …
4
Limits on Matrix Multiplication
Can 2.3728639 be best? Personal site; note puzzles Josh Alman is a graduate student at a technical school in the Boston area. He is working on matrix multiplication, among other problems in complex…
5
Oded Wins the Knuth Prize
Just announced $latex {\dots}&fg=000000$ Oded Goldreich is one of the top researchers in cryptography, randomness, and complexity theory. Today Ken and I wish to thank the Knuth Prize Committee…
6
Héctor Garcia-Molina, 1953–2019
We all lost a great person Cropped from Mexican NotiCyTI obit Héctor Garcia-Molina died just before Thanksgiving. He was a computer scientist and Professor in both the Departments of Computer Scien…
7
A New Way To Solve Linear Equations (over finite fields)
Impossible but true: a new approach to linear systems Prasad Raghavendra is an expert in many aspects of complexity theory, especially the foundations of approximation theory. He recently was a col…
8
John and Alicia Nash, 1928,1933-2015
Our condolences Awesome Stories source John Nash and his wife Alicia were killed in a taxi accident on the New Jersey Turnpike Saturday afternoon. They were on their way back from Norway where he a…
9
Issues in the Proof that P ≠ NP
Some further comments into the recent claimed proof that P is not equal to NP Yuri Manin is a great mathematician, who has worked in various areas and also is well known for his many excellent expo…
10
Lint for Math
Can we remove simple errors from math proofs? simple-talk interview source Stephen Johnson is one of the world’s top programmers. Top programmers are inherently lazy: they prefer to build too…
11
Predicting When P=NP Is Resolved
Has it outlasted the ability to estimate when? Composite of src1, src2 Ryohei Hisano and Didier Sornette wrote in 2012 a paper titled, “On the distribution of time-to-proof of mathematical co…
12
The Derivative of a Number
Are you kidding? Edward Barbeau is now a professor emeritus of mathematics at the University of Toronto. Over the years he has been working to increase the interest in mathematics in general, and e…
13
Update on Deolalikar’s Proof that P≠NP
An update on the P not equal to NP proof Timothy Gowers, Gil Kalai, Ken Regan, Terence Tao, and Suresh Venkatasubramanian are some of the top people who are trying to unravel what is up with the cl…
14
Notation And Thinking
Does notation shape our thinking? Kenneth Iverson was a mathematician who is most famous for designing APL. This was the name of his programming language, and it cleverly stood for “A Program…
15
R.J. Lipton - A proof that P is not equal to NP
A serious proof that claims to have resolved the P=NP question. Vinay Deolalikar is a Principal Research Scientist at HP Labs who has done important research in various areas of networks. He also h…