Type
From Free net encyclopedia
Type can mean:
In philosophy, mathematics and computing:
- Theory of Types, a means by Bertrand Russell to further discuss the mapping of mathematics to logic in philosophical logic
- Type (metaphysics), in metaphysics and ontology
- Equivalence class, in set theory and musical set theory
- Type (model theory), in mathematics
- A proposition or a set in the Intuitionistic Type Theory
- An element in a type system in computing
- Data type, a collection of values used for computation
Type can also refer to:
- Biological type, which fixes a scientific name to a taxon
- The metal forms of the letters used in typesetting in printing
- Normal type, in sociology
- Ideal type, in sociology
- My type (dating), a potential partner that suits the speaker's taste
- Type (theology), shadows things to come in the Bible
- Type (band), a name of Portuguese DJ and musician Cyz (Cynthia Zamorano)
[edit]
See also
- Typology, the study of types