Consistency Quotes - page 3
P. Bernays has pointed out on several occasions that, since the consistency of a system cannot be proved using means of proof weaker than those of the system itself, it is necessary to go beyond the framework of what is, in Hilbert's sense, finitary mathematics if one wants to prove the consistency of classical mathematics, or even that of classical number theory. Consequently, since finitary mathematics is defined as the mathematics in which evidence rests on what is intuitive, certain abstract notions are required for the proof of the consistency of number theory.... In the absence of a precise notion of what it means to be evident, either in the intuitive or in the abstract realm, we have no strict proof of Bernays' assertion; practically speaking, however, there can be no doubt that it is correct...
Paul Bernays
Demiurgus [said my father] was enamoured of refined, perfect, and sophisticated materials. We give precedence to junk. We are simply rapt by it, entranced by the cheapness, the paltriness, the tawdriness of the material. Do you understand,” my father asked, "the profound meaning of that weakness, that passion for gaudy tissue-paper, papier-mâ ché, coloured lacquer, straw, and sawdust? It is,” he said with a pained smile, "our love for matter as such, for its downiness and porousness, its unique, mystical consistency. Demiurgus, that renowned master and artist, hides it away, causes it to vanish behind life's make-believe. We, to the contrary, love its abrasiveness, its unruliness, its rag doll ungainliness. Behind each gesture, each movement, we like to see its exertion, its torpor, its sweet ursinality.
Bruno Schulz
In the heavens, then, there is no chance, irregularity, deviation, or falsity, but on the other hand the utmost order, reality, method, and consistency. The things which are without these qualities, phantasmal, unreal, and erratic, move in and around the earth below the moon, which is the lowest of all the heavenly bodies. Any one, therefore, who thinks that there is no intelligence in the marvellous order of the stars and in their extraordinary regularity, from which the preservation and the entire well-being of all things proceed, ought to be considered destitute of intelligence himself.
Cicero