Kreisel

Mr. Andon says that a couple of decades ago, scientists figured out how to build tanks - known as Kreisel tanks - that use a special water-flow process to protect jellyfish.

Bits 2009

Associated Press From left: Anna Gullo Pidone, Yetta Kreisel , Josephine Nicolosi and Flo Coannides , survivors of the Triangle Shirtwaist fire, at a ceremony to mark the 50th anniversary in 1961.

Triangle Fire: Tracing a Tragedy 2011

Kreisel, Georg, 1958, “Wittgenstein's Remarks on the Foundations of Mathematics,” British Journal for the Philosophy of Science 9, No. 34, August 1958,

Wittgenstein's Philosophy of Mathematics Rodych, Victor 2007

Early reviewers said that “[t] he arguments are wild” (Kreisel 1958, 153), that the passages

Wittgenstein's Philosophy of Mathematics Rodych, Victor 2007

In the light of contemporary logic, Poincaré is hinting at some form of absoluteness or invariance under extension (that will be made precise by Kreisel 1960 via model theory and recursion theory): his ideas will inspire the non-ramified approach to the foundations of predicative analysis.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

Anderson (1958, 486), and Kreisel (1958, 153-54) claimed that Wittgenstein failed to appreciate “Gödel's quite explicit premiss of the consistency of the considered formal system”

Wittgenstein's Philosophy of Mathematics Rodych, Victor 2007

For further biographical material in addition to the above-mentioned, see also Gödel 1987, Kleene 1987, Kreisel 1980, Taussky-Todd 1987 and Yourgrau 2005. 2.

Kurt Gödel Kennedy, Juliette 2007

But a remark of Kreisel (1967) establishes that a conviction that they hold can be obtained sometimes.

Logical Truth Gómez-Torrente, Mario 2006

Kreisel called attention to the fact that (6) together with (4) implies that model-theoretic validity is sound with respect to logical truth, i.e., that the first implication of (5) holds.

Logical Truth Gómez-Torrente, Mario 2006

Kreisel (1970, Section 3.5) provides another analysis by focusing on what is “visualizable.”

Hilbert's Program Zach, Richard 2003