-
Georg Kreisel FRS (September 15, 1923 –
March 1, 2015) was an Austrian-born
mathematical logician who
studied and
worked in the
United Kingdom and America...
- The
Steglitzer Kreisel also
known as the ÜBerlin
Tower is a high-rise
residential building in the
Steglitz district of Berlin, Germany.
Originally built...
-
Kreisel is a surname.
Notable people with the
surname include:
Franz Kreisel (1890-1960),
hockey Georg Kreisel (1923-2015),
logician Henry Kreisel (1922-1991)...
-
aquarium is one of the last
surefire ways to
impress their peers." A
kreisel tank (
kreisel being German for "spinning top" or "gyroscope") is an
aquarium shaped...
-
Hanns Kreisel (16 July 1931 – 18
January 2017) was a
German mycologist and
professor emeritus. He was born in
Leipzig in 1931.
Kreisel was a professor...
-
Henry Kreisel, OC (June 5, 1922 –
April 22, 1991) was a
Canadian writer of
novels and
essays and a
professor of literature.
Kreisel was born in Vienna...
-
closely related theorem is the
Kreisel-Lacombe-Shoenfield-Tseitin theorem,
which was
obtained independently by
Georg Kreisel,
Daniel Lacombe and
Joseph R...
- (SL): = IPC + ((¬¬p → p) → (p ∨ ¬p)) → (¬¬p ∨ ¬p) (a
conditional WPEM)
Kreisel–Putnam
logic (KP): = IPC + (¬p → (q ∨ r)) → ((¬p → q) ∨ (¬p → r)) (the...
-
Franz Kreisel (January 6, 1890 –
November 18, 1960) was a
German ice
hockey player who
competed in the 1928
Winter Olympics. In 1928 he parti****ted with...
- Lutz
Kreisel (born 1927) in Saxony, Germany, is a
German set designer. He was the
chief stage designer at the
Mecklenburg State Theatre from 1971-2015...
