[FOM] 3 postings from Alexander Zenkin

sandylemberg@juno.com sandylemberg at juno.com
Sun Feb 2 19:24:04 EST 2003


Can you provide references for these two developments? (The easier the
better?)

Thanks, Sandy

On Sun, 2 Feb 2003 15:57:35 -0800 "Peter Apostoli"
<apostoli at cs.toronto.edu> writes:

However, already in the 1960's Dana Scott and
the developers of Domain Theory pointed Frege's way out of paradox.
Recall
that whats at stake is finding a solution to the antinomies that (unlike
type theory) Russell himself would find adequate to his paradox. Building
upon this domain theoretic foundation in 1995, a Canadian Akira Kanda
discovered the *canonical* solution to the antinomies of set theory,
including Russell's. The solution involved the discovery of the reflexive
domain of hyper-continuous functions.


More information about the FOM mailing list