Description:
Logic -- math, philosophy & computational aspects.
|
|
|
DECALAGE D'EINSTEIN OU DECALAGE DE NEWTON ?
|
| |
[link] "Le décalage d'Einstein est un effet prédit par les équations d'Albert Einstein. D'après cette théorie, un photon émis depuis un astre massif arrive décalé vers le rouge à cause des champs gravitationnels. Le photon est à la fois une onde et une particule. En tant qu'onde, la masse d'un photon est nulle ; mais en tant que particule, on a la relation : E = hf = mc^2 (...) Ce qui donne : m = E/c^2 = hf/c^2."... more »
|
|
|
Typed Extensional logic and PA
|
| |
A typed predicate symbol is a predicate symbol labeled after its
order.
So P_i mean the i_th order predicate.
Now typed predicates when definable must be defined after a typed
formula which is a formula in which all predicates are also typed in a
manner delineating their order.
For example the predicate Q definable after "Exist P. P(x) & ~P(y)" ,... more »
|
|
|
Occam's Razor vs. Homosexuality
|
| |
Occam's Razor seems to suggest that the most simplistic explanation is
most likely to be the truth... How could this possibly be the case
given that most of us are drowning in simplistic explanations that
are, in fact, not the truth? The key seems to be that I'm neither
intrigued by Occam's Razor nor do I have contempt for it. What is the... more »
|
|
|
Obama Orders STONEWALLING of Prosecutor
|
| |
Special Prosecutor von Braun has subpoenaed
all of the remaining 'Obama Tsars' not yet in jail.
They say that Obama has ordered 'Stonewalling'
and to recite the phrase "I can't remember",
each time Senator von Braun asks a question.
"My New Frontier will jail the cadre of elitist jew
and negro criminals infesting Washington."... more »
|
|
|
PROLOG UNDER THE HOOD - New Prolog Engine Technology!
|
| |
BEHOLD!
$sql2="SELECT HEADS.id AS 'HID', QUERY.buds AS 'QB'
FROM QUERY INNER JOIN HEADS
ON QUERY.ref=HEADS.ref AND QUERY.term=HEADS.term
GROUP BY HID HAVING COUNT(HID)=$qc-SUM(QB)"
This is what makes PROLOG DATABASES possible: the flux capacitor! It's
taken me nearly thirty years and my entire family fortune to realize... more »
|
|
|
