Near Matches
Ignore Exact
Everything
2
The first truth-value logic computer
(
thing
)
by
ModernAngel
Sun Jan 16 2000 at 4:21:34
In
1947
,
William Burkhart
and
Theodore Kalin
(two
Harvard University
undergrad
s) designed a
computer
whose
sole function
was to solve
truth-value
logic problems
. When they
instruct
ed it to
evaluate
the
Liar Paradox
, it went into an
infinite loop
, making "
a hell of a racket
" (as Kalin put it).
A Blather of Paradoxes
Liar Paradox
A Blather of Paradoxes
Transmeta
Commodore 64
Excluded Middle
infinite loop
The truth book
semiotic short-circuit
Problems with logic
Truth table
Compactness
invention
Log in
or
register
to write something here or to contact authors.