Formally Undecidable Propositions

Famous quotes containing the words formally and/or propositions:

“From a bed in this hotel Seargent S. Prentiss arose in the middle of the night and made a speech in defense of a bedbug that had bitten him. It was heard by a mock jury and judge, and the bedbug was formally acquitted.”
—Federal Writers’ Project Of The Wor, U.S. public relief program (1935-1943)

“In fact, of course, I hold that propositions that contemporary
philosophers would properly count as ‘empirical’ can be necessary and be known to be such.”
—Saul Kripke (b. 1940)