 |
Welcome! Local time in Bellevue Washington is
03:17:17 and the date is 08/12/26. For those who need to target an ICBM, I spend a considerable amount of time near N=47.56° E=-122.13° and much of the rest near N=47.16° E=-120.94°. We are -8:00 in relation to GMT.
The various pages that comprise this site have been accessed 10364 times since the counter was created in March 1998. Currently I have an active interest in physics, rock and ice climbing, mathematics, horses and running mountain trails. I am a supporter of The Planetary Society, various skeptical organizations such as the Committee for Skeptical Inquiry and am a fan of science fiction, in its myriad forms. I also pretend to study Spanish and guitar. We'll see.
|
|
In fact the notion of truth a la Tarski avoids complete triviality by the use of the magical expression "meta." We presuppose the existence of a meta-world, in which logical operations already make sense. The world of discourse can therefore be interpreted in the meta-world. The truth value of "A" is determined by "meta-A," and we can in turn explain "meta-A" by "meta-meta-A" ...
We are facing a transcendental explanation of logic: "The rules of logic have been given to us by Tarski, who in turn got them from Mr. Meta-tarski." This is similar to asserting that "Physical particles act this way because they must obey the laws of physics. " |
|
| paraphrased from a note of Jean-Yves Girard | |
The following items strike me as interesting, funny or valuable in some way. I will add or change content from time to time. Enjoy!
Last modified on 07/27/24 at 16:24.
|
Last modified on 06/24/26 at 19:41.
|
|
Linear Algebra in Context Last modified on 09/29/25 at 09:13.
|
||
Last modified on 10/16/24 at 17:25.
|
Last modified on 09/20/24 at 17:53.
|
|
Last modified on 06/25/24 at 15:38.
|
||
Last modified on 10/16/24 at 17:19.
|
Last modified on 06/25/24 at 15:38.
|
|
Last modified on 06/25/24 at 15:38.
|
||
Last modified on 06/25/24 at 15:38.
|
A Remnant of the Original Web Pages at BC. (Some of these pages date from 1996.)
|
|
Last modified on 06/25/24 at 15:38.
|
 |
|
 |