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

Philosophers to Know, Part II

Discover

Hemp (Cannabis sativa).

9 Mind-Altering Plants

Queen Elizabeth II addresses at opening of Parliament. (Date unknown on photo, but may be 1958, the first time the opening of Parliament was filmed.)

All 119 References in “We Didn’t Start the Fire,” Explained

The impeachment trial of Pres. Andrew Johnson, illustration from Frank Leslie's Illustrated Newspaper, March 28, 1868.

What If the President Is Impeached?

King Cobra snake in Malaysia. (reptile)

9 of the World’s Deadliest Snakes

Chinese pictograph, calligraphy tablet of Huang Tingjian, a famous calligrapher in Ancient Song Dynasty. The background of Chinese cultural elements.

The World’s 5 Most Commonly Used Writing Systems

illustration of the walking titanosaurus, Patagotitan mayorum

Titanosaurs: 8 of the World's Biggest Dinosaurs

Lusitania sinking, illustration from The War of the Nations (New York), December 31, 1919. World War I, WWI. This image is one of three on the page. (See source file for the other two.)

7 of the World’s Deadliest Shipwrecks

formalism: Related Content

Written and fact-checked by The Information Architects of Encyclopaedia Britannica

Topics

proof theory mathematics logicism intuitionism analysis probability theory cryptology computer science combinatorics statistics algebra foundations of mathematics