[FOM] ETH report
Harvey Friedman
friedman at math.ohio-state.edu
Wed Sep 11 14:27:26 EDT 2002
Gebhard Fuhrken has translated this interesting story written by a
journalist from Jerusalem concerning logic at ETH, into English. I
have his permission to post this transcription.
*****************************************
End of a tradition of reasoning
Last meeting of the Logic seminar at the ETH Zurich
On July 2, with a lecture about "The splendor and misery of Logic",
at the ETH Zurich a scientific tradition comes to an end. The
following contribution describes the rise and history of the Zurich
Logic seminar.
In the year 1934 said circumstances in Germany lead to good fortune
for Zurich. The mathematician Paul Bernays had to move from Gottingen
to the city on the Limat. Bernays, because of his belonging to the
Jewish religion, was robbed of a modest position at the world famous
institution; the reputation of being a brilliant logician preceded
him. Born as a Swiss in London in 1888, he studied first engineering
then mathematics in Berlin. The young doctor got his venia legendi [a
higher doctorate] in Zurich and taught for five years as Privatdozent
[unpaid assistant professor] at the University.
One day the famous mathematician Daivd Hilbert visited Zurich. During
a walk on Mount Zurich he became aware of the talented Bernays and
offered him a position in Gottingen. Though the Privatdozent was
already in his thirties, he did not consider it beneath himself to
move as assistant to the great Hilbert to Gottingen. The extremely
fruitful collaboration culminated in the two volumes "Foundations of
Mathematics", in which the authors set out to build the edifice of
mathematics completely on symbolic logic.
But on the horizon gathered already the brown clouds of the Nazi
regime. The mathematical teaching staff in Gottingen, who to a good
part consisted of men (and a single woman Emmy Noether) of Jewish
faith, were chased away by Hitler's henchmen. Hilbert was dejected
about the departure of Bernays, as about that of all other Jewish
colleagues.
*The prime of logic in Switzerland*
Gottingens' loss was Zurich's gain, since the arrival of Bernays rang
in the beginning of the flowering of logic in Switzerland. At the
ETH, he was first a lecturer, then an Extraordinarius (non-line item
professor) with half a teaching load. Together with Ferdinand Gonseth
and George Polya he conducted for the first time, during the winter
semester 1939/40, a logic seminar, which he then would lead for
decades. Attendance at the seminar was free. Bernays, not being
employed by the university full-time, could have asked the
participants for a fee, but then most likely not many students would
have come.
Even after his retirement in 1958, on into this high age, Bernays
continued to attend this especially lively seminar. A former student
remembered, how he once stood at the blackboard in order to present a
recently published article. Hardly had he begun his presentation when
Bernays already asked a first question. This lead to a debate, until
Professor Hans Lauchli stepped to the board, and, with chalk in hand,
tried to solve the problem. Whereupon Professor Ernst Specker ran to
the board to present another version.
Now Bernays wanted to give more weight to his point of view, pressed
forward and the conversation became more and more heated. The poor
student, today a respected professor at the University of Lausanne,
could barely, with effort, finish his own presentation.
Bernays died 25 years ago, on September 18, 1977. Afterwards the
tradition of logic was kept up by Bernay's former colleagues Lauchli
and Specker. When Specker retired in 1987, he was urged by the
assistants and students to continue the seminar, which he did for 15
more years. Several participants of the seminar are today professors
at universities the whole world over.
*Classical and many-valued logic*
But with the academic year 2001/2002 this era comes to an end. 68
years after the arrival of Bernays in Zurich the logic seminar will
be conducted for the last time. Lauchli's and Specker's chairs for
Logic and Foundational Research at the ETH have been filled in the
meantime differently. Thus there is, at the ETH, for some time now no
longer research in the area of logic and foundation of mathematics.
In the future, the desire for learning on part of students can be
satisfied only by introductory courses in the division of computer
science and by guest lectures.
One of the last meetings of the seminar was conducted under the title
"four logics". There is, besides classical logic, for example also
many-valued logic, which admits besides a proposition and its
opposite still other possibilities. While e.g. in classical logic the
opposite of "good" is "bad", in many-valued logic there are between
black and white also tones of gray.
At the mentioned meeting two [female] students from the Italian part
of our country presented results of intuitionistic logic. This logic
distinguishes itself by the fact that, in contrast to classical
logic, the maxim "tertium non datur" (The proposition of the excluded
third) is not valid. That means that a proposition does not
necessarily have to be true or false. The intuitionistic logic admits
also the evaluation "no comment". About these and similar niceties
the two [female] students reported. Perfectly choreographed they
alternately wrote formulas at the board, which, after a while, only
reminded of Egyptian hieroglyphs. It soon went over the head of a
non-specialist's, but then Specker injected here and there a remark,
and the situation became clarified. And if at the end for certain
participants still not everything was perspicuous, the discussion
could be continued at the equally important "Nachseminar" [post
seminar] in the the restaurant Sonnegg.
George Szpiro, Jerusalem
On Tuesday, Juli 2 at a quarter past five Professor Ernst Specker
will give a lecture in the Aula [main hall] of the ETH (Main Building
G 60) about "The Splendor and misery of logic".
More information about the FOM
mailing list