-
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...
-
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...
-
Kreisel is a surname.
Notable people with the
surname include:
Franz Kreisel (1890-1960),
hockey Georg Kreisel (1923-2015),
logician Henry Kreisel (1922-1991)...
-
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...
- (SL): = IPC + ((¬¬p → p) → (p ∨ ¬p)) → (¬¬p ∨ ¬p) (a
conditional WPEM)
Kreisel–Putnam
logic (KP): = IPC + (¬p → (q ∨ r)) → ((¬p → q) ∨ (¬p → r)) (the...
- 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...
- 1950 novelist,
short stories People Like Us in a
Place Like This
Henry Kreisel 1922 1991
novelist The Rich Man
Aaron Kreuter poet,
short stories You and...
-
premium tequila brand Padre Azul and E-mobility
innovator Kreisel Electric. In 2022,
Kreisel Electric was
acquired by US
based and New York
Stock Exchange...
-
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...
-
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...
