Ask the ChatbotGames & QuizzesHistory & SocietyScience & TechBiographiesAnimals & NatureGeography & TravelArts & CultureProConMoneyVideos
formalism
Table of Contents
Introduction References & Edit History Related Topics
Read Next
bunch of numbers
Unusual Counting Systems
number zero, 0 balloon
Is Zero an Even or an Odd Number?
Aristotle (384-322 BC), Ancient Greek philosopher and scientist. One of the most influential philosophers in the history of Western thought, Aristotle established the foundations for the modern scientific method of enquiry. Statue
Philosophers to Know, Part I
Immanuel Kant (1724-1804), German philosopher. Print published in London, 1812. Profile portrait surrounded by Ouroboros ancient Egyptian-Greek symbolic serpent with tail in mouth devouring itself representing unity of material and spiritual in eternal...
Philosophers to Know, Part II
Discover
Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics
10 Best Hockey Players of All Time
Shadow of a man holding large knife in his hand inside of some dark, spooky buiding
7 of History's Most Notorious Serial Killers
Vietnam War. U.S. President Lyndon B. Johnson awards the Distinguished Service Cross to First Lieutenant Marty A. Hammer, during a visit to military personnel, Cam Ranh Bay, South Vietnam, October 26, 1966. President Johnson
Vietnam War Timeline
Julius Caesar in full Gaius Julius Caesar (100? BCE-44 BCE) statue in Rimini, Italy. Roman general and statesman and dictator
The Time Julius Caesar Was Captured by Pirates
A Factory Interior, watercolor, pen and gray ink, graphite, and white goache on wove paper by unknown artist, c. 1871-91; in the Yale Center for British Art. Industrial Revolution England
Inventors and Inventions of the Industrial Revolution
Space race (1957-1969) infographic between United States (U.S.) and Russia. America, Soviet Union, U.S.S.R., space exploration
Timeline of the Space Race, 1957–69
earthquake. Heavily damaged school in the town of Yingxiu after a major earthquake struck China's Sichuan Province on May 12, 2008.
The 6 Deadliest Earthquakes Since 1950

formalism

philosophy of mathematics
Written and fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Article History

formalism, in mathematics, school of thought introduced by the 20th-century German mathematician David Hilbert, which holds that all mathematics can be reduced to rules for manipulating formulas without any reference to the meanings of the formulas. Formalists contend that it is the mathematical symbols themselves, and not any meaning that might be ascribed to them, that are the basic objects of mathematical thought. Compare intuitionism; logicism.

Britannica Chatbot logo

Britannica Chatbot

Chatbot answers are created from Britannica articles using AI. This is a beta feature. AI answers may contain errors. Please verify important information using Britannica articles. About Britannica AI.