Formalism (deductive)

German mathematician (1862–1943)

view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules

standard (often unique) way of presenting an object as a mathematical expression

positive or descriptive theory of adjudication

classification system for different theories of gravity

Hamiltonian formulation of general relativity

formalism of general relativity

Technique in mathematics

type of ethical theory

use of methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest