Refine your search:

From Gödel's Lost Letter and P=NP
#### Is The End Near?

Queen’s Gambit and more Kenneth Regan is my partner here at GLL and a dear friend. He is a longtime faculty member in computer science at the University of Buffalo...

From Gödel's Lost Letter and P=NP
#### The Future of Mathematics?

Proving proofs are proven Kevin Buzzard is Professor of Pure Mathematics at Imperial College London. Wikipedia says that he specialises in algebraic number theory...

From Gödel's Lost Letter and P=NP
#### Too Long, Didn’t Read

How to summarize papers Isabel Cachola, Kyle Lo, Arman Cohan, Daniel Weld are the authors of a recent paper on summarizing papers. They are all connected in various...

From Gödel's Lost Letter and P=NP
#### Traveling Salesman Problem Meets Complexity Theory

Crazy ideas meet crazed audience Merrill Flood was a mathematician who publicized the Traveling salesman problem TSP back in the 1940s. He says that he found the...

From Gödel's Lost Letter and P=NP
#### The Art of Math

Art, history, and controversy Jemma Lorenat is an assistant professor at Pitzer College in Los Angeles. She teaches and does research on the history of mathematics...

From Gödel's Lost Letter and P=NP
#### The Night of the Ethical Algorithm

Algorithms for the Election Michael Kearns and Aaron Roth are the authors of the book Ethical Algorithms and the The Science of Socially Aware Algorithm Design....

From Gödel's Lost Letter and P=NP
#### Can We Solve It?

It is a Friday James Maynard is a number theorist. He attended Cambridge as an undergrad and then moved to do his grad work at Oxford at Balliol College. He is...

From Gödel's Lost Letter and P=NP
#### Vaccines are Not Developing

The search for a vaccine—is not a development. Edward Jenner was an English physician who created the first vaccine, one for smallpox. In 1798 he used the weak...

From Gödel's Lost Letter and P=NP
#### Are Black Holes Necessary?

Our congratulations on the 2020 Nobel Prize in Physics Composite crop of src1, src2 Roger Penrose, Reinhard Genzel, and Andrea Ghez have won the 2020 Nobel Prize...

From Gödel's Lost Letter and P=NP
#### Knowledge is Good

Science is good too Emil Faber is the pretend founder of the pretend Faber College. The 1978 movie Animal House starts with a close-up of Faber’s statue, which...

From Gödel's Lost Letter and P=NP
#### IBM Conference on the Informational Lens

Some differences from the Computational Lens Chai Wah Wu, Jonathan Lenchner, Charles Bennett, and Yuhai Tu are the moderators for the four days of the First IBM...

From Gödel's Lost Letter and P=NP
#### Puzzle Reviews by a Puzzle Writer

Not puzzling reviews Princeton University Press page Jason Rosenhouse is professor in the Department of Mathematics at James Madison University. His research focuses...

From Gödel's Lost Letter and P=NP
#### Ken Regan Turned 61

Happy birthday to Ken Ken Regan is of course my partner on GLL. He is faculty in the computer science department at the University of Buffalo. His PhD was in 1986...

From Gödel's Lost Letter and P=NP
#### Convex Algorithms

Continuous can beat discrete Nisheeth Vishnoi is a professor at Yale University in the computer science department. The faculty there is impressive and includes...

From Gödel's Lost Letter and P=NP
#### Closing An Open Problem

Crawl, then walk, then run. Bogdan Grechuk is a lecturer in the math department at the University of Leicester. His office is in the Michael Atiyah Building. Pretty...

From Gödel's Lost Letter and P=NP
#### Mea Culpa

Plus more on the separating word problem Mea Culpa is not someone we introduced on the blog before. She does not come from the same world as Lofa Polir or Neil...

From Gödel's Lost Letter and P=NP
#### 20,000 Comments and More

With more about the Separating Words Problem I.I.T. Madras page Anoop S K M is a PhD student in the theory group of I.I.T. Madras in Chennai, India. His comment...

From Gödel's Lost Letter and P=NP
#### Logical Complexity of Proofs

If you cannot find proofs, talk about them. Robert Reckhow with his advsior Stephen Cook famously started the formal study of the complexity of proofs with their...

From Gödel's Lost Letter and P=NP
#### Thanks to An Explainer

Conrad explains all Keith Conrad is a professor in the mathematics department at UCONN—the University of Connecticut. My dear wife Kathryn Farley and I are about...

From Gödel's Lost Letter and P=NP
#### Fran Allen: 1932-2020

We lost a great computer scientist. Frances Allen was one of the leaders who helped create the field of compilers research. Fran was an elite researcher at IBM,...