DEV Community

Danyson
Danyson

Posted on

1 1

How a Single Mathematical question lead to the Invention of Modern Computers?

In early 1900s German Mathematician David Hilbert put forward a question :

is Mathematics "Decidable"?

Which means "is there an Algorithm that can always determine whether a statement follows the axioms?"

In 1936 Alan Turing answered this question by inventing the Modern Computer, the Turing Machine.

He ran his famous "Halting problem" on his Turing Machine to check whether a program will halt or not on a particular input.

Turing found out his Halting Problem and Hilbert's Decidablity Problem are similar.

But results came to Turing such that there is no way to tell in general, if a Turing machine will halt or not on a given input.

This experiment by Turing answered that "Mathematics is Undecidable".

The beauty here is that a visionary question from a Mathematician gave an idea to Turing to Invent the Modern Computer that we use today.

Because you know all the computers are Turing Machines and all the programming languages are in fact Turing complete.

Before the invention of Modern Computers, Computers were actually Humans.

What? Humans? Yes. To say precisely, they are Women.

Yes, Women Mathematical geniuses tend to do all the computation works and calculations manually.

And it was Turing who replaced them with Machines.

Personal blog @ danyson.github.io

Image of Timescale

🚀 pgai Vectorizer: SQLAlchemy and LiteLLM Make Vector Search Simple

We built pgai Vectorizer to simplify embedding management for AI applications—without needing a separate database or complex infrastructure. Since launch, developers have created over 3,000 vectorizers on Timescale Cloud, with many more self-hosted.

Read more →

Top comments (0)

Postmark Image

Speedy emails, satisfied customers

Are delayed transactional emails costing you user satisfaction? Postmark delivers your emails almost instantly, keeping your customers happy and connected.

Sign up