P:Math.html

The Mathematics Portal

Selected article

Alan Turing memorial statue in Sackville Park

Turing is often considered to be the father of modern computer science. Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church–Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine. With the Turing test, he made a significant and characteristically provocative contribution to the debate regarding artificial intelligence: whether it will ever be possible to say that a machine is conscious and can think. He later worked at the National Physical Laboratory, creating one of the first designs for a stored-program computer, although it was never actually built. In 1947 he moved to the University of Manchester to work, largely on software, on the Manchester Mark I then emerging as one of the world's earliest true computers.

During World War II, Turing worked at Bletchley Park, Britain's codebreaking centre, and was for a time head of Hut 8, the section responsible for German Naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the bombe, an electromechanical machine which could find settings for the Enigma machine.

Picture of the month

In his historic work Elements, Euclid assumed the existence of parallel lines with his fifth postulate. The fifth postulate or parallel postulate is equivalent to:

Given a line and a point not on that line, exactly one line can be drawn through that point which does not intersect the original line (see 1).

In the 19th century mathematicians began to seriously question the parallel postulate and found that other forms of geometry are possible. For example elliptical geometry:

Given a line and a point not on that line, all lines drawn through that point will intersect the original line (see 2).

And hyperbolic geometry:

Given a line and a point not on that line, an infinite number of lines can be drawn through the point that do not intersect the original line (see 3).

These other forms of geometry, where the parallel postulate does not hold are called Non-Euclidean geometry.

Categories

Did you know...

• ...that there are different sizes of infinite sets in set theory? More precisely, not all infinite cardinal numbers are equal?
• ...that every natural number can be written as the sum of four squares?
• ...that the largest known prime number is over 12 million digits long?
• ...that the set of rational numbers is equal in size to the subset of integers; that is, they can be put in one-to-one correspondence?
• ...that there are precisely six convex regular polytopes in four dimensions? These are analogs of the five Platonic solids known to the ancient Greeks.
• ...that it is unknown whether π and e are algebraically independent?
• ...that a nonconvex polygon with three convex vertices is called a pseudotriangle?
• ...that it is possible for a three dimensional figure to have a finite volume but infinite surface area? An example of this is Gabriel's Horn.
• ... that as the dimension of a hypersphere tends to infinity, its "volume" (content) tends to 0?

WikiProjects

The Mathematics WikiProject is the center for mathematics-related editing on Wikipedia. Join the discussion on the project's talk page.

Project pages

• Participants
• Current activity
• Manual of style
• Conventions

Subprojects

• PlanetMath Exchange (Talk)
• Graphics (Talk)
• Article assessment (Talk)

Related projects

Things you can do

• Collaboration of the month:

  Algebraic Number Theory

• Requested articles
• Requested images
• Pages needing attention (Category)
• Mathematics stubs

Topics in mathematics

Index of mathematics articles

Related portals

 Science:  History of science     Philosophy of science    Scientific method    Systems science    Mathematics    Biology    Chemistry    Physics    Earth sciences    Technology and applied sciences