Refine your search:

Mathematical, digital and physical models can help us design things better (and more safely!)

From Gödel's Lost Letter and P=NP
#### Why Study Logic?

Before and after it is mechanized… Peter Andrews is a Professor of Mathematics, Emeritus at Carnegie Mellon University (CMU) in Pittsburgh, Pennsylvania. He has...

From Gödel's Lost Letter and P=NP
#### Rabin-Scott Time

Nondeterminism—why did it take so long? 2010 interview src1, Society for Science src2 Michael Rabin and Dana Scott won the 1976 Turing Award. They obtained their...

From Gödel's Lost Letter and P=NP
#### Logicians are Everywhere

So where were they between 1720 and 1820? Helena Rasiowa was a famous logician from Poland. She visited Case Western Reserve University when I was an undergraduate...

From Gödel's Lost Letter and P=NP
#### The Gift of Nonconstructivity

Can we quantify “nonconstructive advantage”? Japan Times source Péter Frankl has been in the news again this year. The news is substantial partial progress on his...

From Gödel's Lost Letter and P=NP
#### A Mutation Carol 2

Ghosts of creations past and citations not present Domenico Amalfitano, Ana Paiva, Alexis Inquel, Luis Pinto, Anna Rita Fasolino, and René Just are the authors...

From Gödel's Lost Letter and P=NP
#### Quantum Circuits in the New York Times

Can quantum circuits have something to do with wormholes? Wikipedia src Maria Spiropulu, a physicist at the California Institute of Technology, is featured in an...

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

Formal logical methods may be needed to represent the Donald Trump documents case her page Monica Palmirani is a Professor of Computer Science and Law at the University...

From Gödel's Lost Letter and P=NP
#### Juris Hartmanis 1928–2022

A sure foundation for Computational Complexity source—wonderful 2015 CACM interview Juris Hartmanis passed away this morning. He was a professor in Cornell’s computer...

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

Weaving patterns of proof and the accepted papers for this week’s conference her bio page Karen Donde is the Chair of Complexity 2022, which is being held this...

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

A proof tells us where to concentrate our doubts—Morris Kline Tony Hoare is also known informally as Sir Charles Antony Richard Hoare. He has made key contributions...

From Gödel's Lost Letter and P=NP
#### The 2021 Turing Award

If a machine is expected to be infallible, it cannot also be intelligent.—Alan Turing Jack Dongarra has just won the 2021 Turing Award. Congrats to him. Dongarra...

From Gödel's Lost Letter and P=NP
#### Waiting For Self-Deriving Cars

Once you trust a self-driving car with your life, you pretty much will trust Artificial Intelligence with anything—Dave Waters. ITProToday src Keith Kirkpatrick...

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

When faced with two choices, simply toss a coin. It works because in that brief moment when the coin is in the air, you suddenly know what you are hoping for. Neil...

From Gödel's Lost Letter and P=NP
#### Inequalities on the Gridiron

Q: Why are Buffalo Bills unlike Dollar Bills? A: Dollar Bills are good for 4 quarters Reddit “outsmarting math” source Josh Allen is not appearing in today’s Super...

From Gödel's Lost Letter and P=NP
#### National Academy of Engineering Elects

The problem in this business isn’t to keep people from stealing your ideas; it’s making them steal your ideas!—Howard Aiken Composite crop of homepage photos Taher...