Translate to multiple languages

Subscribe to my Email updates

https://feedburner.google.com/fb/a/mailverify?uri=helgeScherlundelearning
Enjoy what you've read, make sure you subscribe to my Email Updates

Thursday, June 24, 2021

Who is Alan Turing? | General - RaillyNews

Alan Mathison Turing (born 23 June 1912 – died 7 June 1954) was an English mathematician, computer scientist and cryptologist. He is considered the founder of computer science by RaillyNews.

Who is Alan Turing?

With the Turing test he developed, he put forward a criterion for whether machines and computers can have the ability to think.

II. He was considered a war hero because he played a crucial role in cracking German codes during World War II. In addition, during his years at Manchester University, he laid the conceptual basis of modern computers with the definition of an algorithm called the Turing machine.

His name also went down in the history of mathematics with the Church-Turing Hypothesis he developed with his thesis teacher Alonzo Church, whom he worked with at Princeton. This thesis states that all calculations that can be described by an algorithm consist of calculations that can be described by four operations, projection, articulation and scanning operations. It is an undisproved hypothesis about the philosophy of mathematics rather than a mathematical theorem...

University and his work on computability

Turing's unwillingness to study classical Greek and Latin, and his always preferred mathematics and science, prevented him from winning a scholarship to Trinity College, Cambridge. He went to Cambridge Kings College, his second choice. He was a student there from 1931 to 1934, earned a diploma with a distinguished honor, and was elected an academic member of Kings College in 1935 for a dissertation on the central limit theorem.

In a very important article, Computable Numbers: An Application to the Problem of Decision Making, presented on May 28, 1936, Kurt Gödel reformulated the results of proofs of limits of computation and proof prepared in 1931 with the universal arithmetic-based formal language, replacing it now as Turing machines He put forward the proof that we have mentioned, based on simpler and more formal methods. He proved that any mathematical problem imaginable can be solved using such a machine, if it can be represented by an algorithm.

Turing machines are the main research element of today's theories of computation. He went on to prove that the Termination Problem for Turing machines is undecidable, and that it is not a consequence of the Decision-Making Problem: in general, it is not possible to decide, even if an algorithmically presented Turing machine always terminates...

Various events are held in England and in various parts of the world, especially in universities, with the aim of perpetuating the memory of Turing, and special halls, buildings and squares in faculties and campuses are called Turing. For example, a scientific symposium with international participation called 'Turing Days' is organized every year at Istanbul Bilgi University. The aim of the meeting is to create a platform where new trends and developments in 'Computation Theory and Computer Science' are discussed and introduced in international circles.

Read more... 

Source: RaillyNews