When the logician has resolved each demonstration into a host of elementary operations, all of them correct, he will not yet be in possession of the whole reality, that indefinable something that constitutes the unity ... Now pure logic cannot… — Henri Poincare Copy Share Image
