Search results

...nconsistent (this is [[Russell's paradox]]). Frege abandoned his logicist program soon after this, but it was continued by Russell and [[Alfred North Whitehe ...e [[Bob Hale]], [[Crispin Wright]], and perhaps others) have returned to a program closer to Frege's. They have abandoned Basic Law V in favour of abstraction

...s, chosen to be philosophically uncontroversial) was consistent. Hilbert's program was dealt a fatal blow by the second of [[Gödel's incompleteness theorem]] ...inconsistent (this is [[Russell's Paradox]]). Frege abandoned his logicist program soon after this, but it was continued by Russell and [[Alfred North Whitehe

[20:36] <{Soap}> it seems to depend on what program Im in [20:41] <tommorris> mindspillage: I shall store each Internet in a room in [[Hilbert's Hotel]]

In addition, from at least the time of [[Hilbert's program]] at the turn of the [[20th century]] to the proof of [[Gödel's theorem]] ...he [[continuum hypothesis]].<ref>Yandell, Benjamin H.. ''The Honors Class. Hilbert's Problems and Their Solvers'' (2002).</ref> Gödel and [[Paul Cohen]] show

In addition, from at least the time of [[Hilbert's program]] at the turn of the [[20th century]] to the proof of [[Gödel's theorem]] ...he [[continuum hypothesis]].<ref>Yandell, Benjamin H.. ''The Honors Class. Hilbert's Problems and Their Solvers'' (2002).</ref> Gödel and [[Paul Cohen]] show

: [[User:Jon Awbrey/Mathematical Notes#SEM. Program Semantics|SEM. Program Semantics]] program at a good university is inappropriate as a standards document.

...t of my application to graduate school in the Systems Engineering doctoral program at Oakland University, Rochester, Michigan in September 1992. ...computational settings this information can be procedural and declarative program code augmented by statistical and qualitative data. In computing applicati