Описание:
Logic -- math, philosophy & computational aspects.
|
|
|
The definition of Ordinals
|
| |
Hi all, X is said to be transitive iff every member of a member of X is a member of X. In symbols: X is transitive <-> for all y e X for all z ( z e y -> z e X ) X is said to be an ordinal iff X is transitive, and every member of X is transitive, and there do not exist a non empty subset S of X such... еще »
|
|
"The Missing Symbol' (the second of three parts)
   
|
| |
The Missing Symbol Posting Two The mathematical symbol that's missing from Einstein's 1905 paper is shown here, and what it physically denotes is explained. It is then proved that because it is missing, his fourth and fifth equations are... еще »
|
|
Logical Profiles: Heavy Hitters Edition
|
| |
The Mellowest "Tron": Raymond Smullyan. Tha Nonpareil CS: John C. Mitchell. Never Works: Saul Kripke. Coolest Logic: Cylindrical Algebra Representation Theory of First- Order Logic. *Gente con Rationalidad* requested.
|
|
Q: Minimal Logic Axioms for Justifcation Logis
|
| |
Dear All Just read some funny stuff about justification logics. What raised my interest was the following proof object construction: G |- t : A ----------------- (Justification) G |- !t : (t : A) So I can switch from a type A, to a type t : A. My type language grows by including judgments itself.... еще »
|
|
|