Jump to content

Category:Formalism (deductive)

From Wikipedia, the free encyclopedia

Wikimedia Commons has media related to Formalism (deductive).

Subcategories

This category has the following 4 subcategories, out of 4 total.

F

Formal languages (13 C, 201 P)
Formal logic (12 C, 5 P)

L

Large-scale mathematical formalization projects (7 P)

S

Formal systems (7 C, 10 P)

Pages in category "Formalism (deductive)"

The following 13 pages are in this category, out of 13 total. This list may not reflect recent changes.

Formalism (philosophy of mathematics)

A

ADM formalism

B

BSSN formalism

C

Canonical form

E

Ethical formalism

F

Formal epistemology

H

David Hilbert

I

Implementation of mathematics in set theory

L

Legal formalism

P

Parameterized post-Newtonian formalism

R

Resolvent formalism

S

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Formalism_(deductive)&oldid=1157736429"

Hidden category:

Commons category link from Wikidata