..T
-
Tao
- a common spelling of Dao, an ancient
Chineese philosophy and way of life.
-
tautology
-
- the saying of the same thing twice over in different words
- a statement in which the predicate asserts no more than is contained in the meaning of the subject
- an instance of a valid formula of propositional logic
- a complex proposition which is true independently of the truth values of its constituent atomic propositions
- a statement that is necessarily true
- an analytic statement
- see also:
- propositional tautology
- te
- A kind of inner virtue in the ancient Chineese philosophy of Dao.
- temporal logic
- A modal logic in which one can reason about time.
- TOE - Theory Of Everything
- A term used for the elusive goal of the quest to unify the fundamental (but incompatible) theories of physics, viz. general relativity and quantum theory.
This would supposedly yield a single coherent (and true) theory (a TOE) to which all other scientific theories would be in principle reducible (which is where the everything comes from).
(e.g. string theory)
-
token
- an instance of a type
- transitive
- transitive relation
- a relation is transitive iff for all elements x, y and z in the field of the relation, if x is related to y and y related to z then x is related to z.
- transitive set
- a set s is transitive iff every member of s is a subset of s.
-
truth
-
the property of being true
-
Turing machine
-
a kind of automaton invented by the logician Alan Turing for the purpose of establishing the existence of unsolvable problems
-
type
-
a collection of things or persons having common characteristics
- type checking (computing)
- a stage in the compilation or interpretation of computer programs in which the conformance of the program to defined typing rules is checked.
- see also:
- static type checking
- strong type checking
- type sentence (philosophy)
-
Used by some philosophers to distinguish a syntactical object from its instances (which are then called tokens).
This sentence might then be called a type sentence of which the instance occurring on the screen in front of you is a token.
- type system (computing)
- a system for classifying data values manipulated by computer programs, usually specific to a particular high level programming language
- see also:
- polymorphic type system
- pure type system
- type theory (logic)
- a logical system in which the domain of discourse consists of a number of types, each of which is a collection of elements (of that type), and in which logical variables are associated with a type and range over the elements of that type.
- type variable (computing and logic)
- In a typed programming language or logical system a type variable is a variable which ranges over some or all of the available types.
- see also:
- category
- kind
- sort
©
created 1997/6/14 modified 2009/4/30