![]() |
Welcome! Local time in Bellevue Washington is
04:18:39 and the date is 05/17/12. For those who need to target an ICBM, that is at N=47.20° E=-122.11°. We are -8:00 in relation to GMT.
The various pages that comprise this site have been accessed 1325384 times since the counter was created in March 1998. I used to teach Mathematics at Bellevue College but that has become an unpopular phrase, containing an altogether-too-transitive verb. So now I facilitate student success and foster student satisfaction as they achieve their goals here at BC. I also was the "technical" web master (as distinct from content creator) at BC from the beginning of Web service at BC in June 1995 till December 1996. From that time till Summer 2002 I performed that function for Science Division. Currently I have an active interest in physics, rock and ice climbing, mathematics, horses and running mountain trails. |
|
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 03/3/12 at 11:50.
|
Last modified on 03/19/11 at 17:54.
|
|
Last modified on 03/19/11 at 17:54.
|
||
Last modified on 03/19/11 at 17:54.
|
Last modified on 03/19/11 at 17:54.
|
|
Last modified on 03/19/11 at 17:54.
|
||
Last modified on 03/20/11 at 19:42.
|
Last modified on 03/19/11 at 17:54.
|
|
Last modified on 03/19/11 at 17:54.
|
||
Last modified on 03/19/11 at 17:54.
|
A Remnant of the Original Web Pages at BC. (Some of these pages date from 1996.)
|
|
Last modified on 03/19/11 at 17:45.
|
The Mathematics Department Pages
![]() |
|
![]() |