Refine your search:

Accurate measures in context would be very useful.

*NIST Wants to Measure Trust in AI By Wired, June 22, 2021*

From Gödel's Lost Letter and P=NP
#### The Electoral College: Is It Good?

A old unpublished result, some new published results [ Playbill ] Alexander Hamilton was a framer of the U.S. Constitution. He wrote the bulk of the Federalist...

From Gödel's Lost Letter and P=NP
#### Discrepancy Games and Sensitivity

Can we connect the talks that closed this month’s Random Structures and Algorithms conference? Cropped from NYU homepage Joel Spencer gave the closing talk of last...

From Gödel's Lost Letter and P=NP
#### Summer Reading in Theory

Some formative books in mathematics and computing theory LSE source: “Calculus on Clay?” Norman Biggs is the author of the wonderful book Algebraic Graph Theory...

From Gödel's Lost Letter and P=NP
#### Mathematics of Gerrymandering

Can theory help? [ art: Bill Hennessy ] John Roberts is the Chief Justice of the United States. Today I will discuss the recent Supreme Court decision on gerrymandering...

From Gödel's Lost Letter and P=NP
#### A Prime Breakthrough

A breakthrough on the Riemann Hypothesis [ Composite of various sources ] Michael Griffin, Ken Ono, Larry Rolen, and Don Zagier (GORZ) have recently published a...

From Gödel's Lost Letter and P=NP
#### Computer Science Gender Gap

NYTimes article on the paper [ Allen Institute ] Lucy Lu Wang is the lead author of a paper released this Friday on gender parity in computer science. The paper...

From Gödel's Lost Letter and P=NP
#### Diophantine Equations

Complexity of solving polynomial equations [ Jeff ] Jeff Lagarias is a mathematician or a professor at the University of Michigan. Today I wish to discuss Diophantine...

From Gödel's Lost Letter and P=NP
#### How To Make A Polynomial Map Nicer

Stability theory and polynomials [ Essen ] Arno van den Essen is the author of the book on the Jacobian Conjecture. Today I want to highlight one of the ideas he...

From Gödel's Lost Letter and P=NP
#### Raymond Edward Miller Just Passed Away

Miller just passed away at 90 [ GIT ] Ray Miller just passed away. He had been a researcher and leader at IBM Research, Georgia Tech, and University of Maryland...

From Gödel's Lost Letter and P=NP
#### A Rank Problem

More on restricted quantum circuits [ The Daily Grail ] Ken Regan just wrote about his paper with Chaowen Guan (GR). The paper is titled, “Stabilizer Circuits,...

From Gödel's Lost Letter and P=NP
#### Selected Papers at CCC 2019

Some papers from the accepted list of this year’s Computational Complexity Conference [ UB CSE ] Alan Selman is a long-time friend of Ken and I, and is a long-time...

From Gödel's Lost Letter and P=NP
#### Making Up Tests

It’s harder to make up tests than to take them [ Recent photo ] Ken Regan has been busy these last few days working on making a final exam, giving the exam, and...

From Gödel's Lost Letter and P=NP
#### An App Proof

That is “app” as in an on-line application [ Leo Stein ] Leo Stein is an assistant professor in the department of Physics and Astronomy at the University of Mississippi...

From Gödel's Lost Letter and P=NP
#### Internet, Dogs, and the ABC Conjecture

An inappropriate comment on the ABC conjecture Joseph Oesterlé and David Masser are famous for their independent discovery of the ABC conjecture. Today I want to...

From Gödel's Lost Letter and P=NP
#### Making Elections Safe

A new proof that MAJORITY is not in . [ Rich DeMillo ] Rich DeMillo is a strong leader, a famous researcher, and a long-time best friend. Proof: He was the first...

From Gödel's Lost Letter and P=NP
#### The Network Coding Conjecture Is Powerful

More hard Boolean functions Peyman Afshani, Casper Freksen, Lior Kamma, and Kasper Larsen (AFKL) have a recent paper which we just discussed. Today Ken and I will...

From Gödel's Lost Letter and P=NP
#### Sedgewick Wins An Award

An award for educational writing [ ACM ] Robert Sedgewick is the 2018 recipient of the ACM Outstanding Educator Award. Today we congratulate Bob on this wonderful...

From Gödel's Lost Letter and P=NP
#### Network Coding Yields Lower Bounds

Practice leads theory Peyman Afshani, Casper Freksen, Lior Kamma, and Kasper Larsen have a beautiful new paper titled “Lower Bounds for Multiplication via Network...

From Gödel's Lost Letter and P=NP
#### Why Check A Proof?

Why check another’s proof? [Russell and Whitehead ] Bertrand Russell and Alfred Whitehead were not primarily trying to mechanize mathematics in writing their famous...

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

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...