David Berlinski citations célèbres

À un certain moment dans l'histoire de l'univers, il n'y avait pas d'esprit humain, et à un certain moment plus tard, il y en avait. En un clin d'œil cosmique, un univers dans lequel tout était chaos et vide en est venu à inclure des intuitions, des croyances, des sentiments, des sensations brutes, des douleurs, des émotions, des souhaits, des idées, des images, des inférences, la sensation du caoutchouc, Schadenfreude, et le goût de la glace à la banane.

Il y a plus de soixante ans, les logiciens mathématiques, en définissant précisément le concept d'algorithme, ont donné du contenu à l'ancienne idée humaine d'un calcul efficace. Leurs définitions ont conduit à la création de l'ordinateur numérique, un exemple intéressant de pensée pliant la matière à ses extrémités.

L'arithmétique est là où réside le contenu, et non la logique; mais la logique incite à la certitude, et non à l'arithmétique.

La définition d'une limite est essentiellement sa création [Cauchy] et tient autant du miracle que ces fantastiques horloges suisses de l'époque où des centaines de rouages brillants sont fabriqués pour célébrer non seulement l'heure et la date, mais aussi les phases de la lune.

Le calcul est l'histoire que ce monde [occidental] s'est racontée pour la première fois lorsqu'il est devenu le monde moderne.

La validité est la pierre de touche de l'inférence et la vérité du jugement: le fait que vichyssoise soit froide ratifie le jugement que vichyssoise est, en effet, froide, et le jugement que vichyssoise est froide exprime le fait que vichyssoise est froide.

Un système axiomatique comprend des axiomes et des théorèmes et nécessite une certaine coordination œil-main avant de fonctionner. Un système formel comprend une liste explicite de symboles, un ensemble explicite de règles régissant leur cohabitation, une liste explicite d'axiomes et, surtout, une liste explicite de règles régissant explicitement les étapes que le mathématicien peut franchir pour passer des hypothèses aux conclusions. Aucun appel au sens ni à l'intuition. Les symboles perdent leurs pouvoirs référentiels; les inférences deviennent mécaniques.

Un système axiomatique établit une relation réverbérante entre ce qu'un mathématicien suppose (les axiomes) et ce qu'il peut dériver (les théorèmes). Dans le meilleur des cas, la relation est suffisamment claire pour que le mathématicien puisse soumettre son raisonnement à une liste de contrôle informelle, passant d'étape en étape avec la confiance facile que les étapes sont suffisamment petites pour qu'il ne puisse pas être gêné ni elle trébuché.

Alors que la science n'a rien de valable à dire sur les grandes et douloureuses questions de la vie, de la mort, de l'amour et du sens, ce que les traditions religieuses de l'humanité ont dit forme un corps cohérent de pensée. . . . Il y a une récompense pour la souffrance. Un principe au-delà de l'égoïsme est à l'œuvre dans le cosmos. . . Je ne sais pas si tout cela est vrai. Je suis certain que la communauté scientifique ne sait pas que c'est faux.

Bien que chaque roman soit directement dérivé d'un autre roman, il n'y a en réalité qu'un seul roman, le Quichotte.

La théorie de l'évolution de Darwin est la dernière des grandes religions à mystères du XIXe siècle. Et au moment où nous parlons, il suit maintenant les Freudiens et le marxisme dans les régions inférieures, et je suis tout à fait sûr que Freud, Marx et Darwin compatissent l'un avec l'autre dans le cachot sombre où se rassemblent les dieux rejetés.

Le darwinisme n'est pas une condition suffisante pour un phénomène comme le nazisme, mais je pense que c'est certainement une condition nécessaire,

Chaque ordinateur se divise en son matériel et son logiciel, la machine hôte à son algorithme, l'être humain à son esprit. Il n'est guère surprenant que les hommes et les femmes aient fait ce que les ordinateurs font maintenant bien avant que les ordinateurs puissent faire quoi que ce soit. La dissociation entre l'esprit et la matière chez les hommes et les machines est très frappante; cela suggère que presque toute organisation stable et fiable d'objets matériels peut exécuter un algorithme et ainsi en venir à commander une certaine forme d'intelligence.

Leibniz s'est efforcé de fournir un compte rendu de l'inférence et du jugement impliquant le jeu mécanique des symboles et très peu d'autres choses. Les listes de contrôle qui en résultent sont les premiers artefacts intellectuels de l'humanité. Ils expriment, ils expliquent, et ainsi ils ratifient un pouvoir de l'esprit. Et, bien sûr, ce sont des artefacts en train de devenir des algorithmes.

Le mouvement de l'esprit est transmis le long d'un nuage de sens.~ Il y a ce paradoxe que nous n'arrivons au sens que lorsque nous enlevons le sens des symboles.

Au début du nouveau millénaire, nous ne savons toujours pas pourquoi les mathématiques sont vraies et si elles sont certaines. Mais nous savons ce que nous ne savons pas d'une manière incommensurablement plus riche que nous. Et apprendre cela a été une réalisation remarquable-parmi les plus grandes et les moins connues de l'ère moderne.

En fin de compte, chaque schéma et chaque science est justifié par lui-même ou il n'est pas justifié du tout.

Le désir de voir et le désir de ratifier ce que l'on a vu sont des désirs en contradiction les uns avec les autres, ne serait-ce que parce qu'ils procèdent de lieux distincts dans l'imagination.

Il y a des lacunes dans le cimetière fossile, des endroits où il devrait y avoir des formes intermédiaires, mais où il n'y a rien du tout à la place. Pas de paléontologue..nie qu'il en soit ainsi. C'est simplement un fait, la théorie de Darwin et les archives fossiles sont en conflit.

Certains philosophes voient en eux-mêmes, d'autres en leur temps; d'autres encore forgent une alliance avec l'avenir.

"Les jeunes hommes souhaitent toujours rêver de ce qu'ils ont perdu.""Et les vieillards?""De ce qu'ils n'ont pas trouvé."

Je ne sais pas si tout cela est vrai. Je suis certain que la communauté scientifique ne sait pas que c'est faux.

Malgré tous les grands rêves investis sans profit dans l'ordinateur numérique, il est néanmoins vrai que ce n'est pas depuis que les rédacteurs de la Constitution américaine ont pris au sérieux l'idée que tous les hommes sont créés égaux qu'une idée a autant transformé les conditions matérielles de la vie, les attentes de la race.

La logique aristotélicienne est massive et marmoréenne, mais chaque monument accumule des graffitis.

Pour la plupart, il est vrai, les hommes et les femmes ordinaires considèrent les mathématiques avec un dégoût énergique, comptant ses concepts aussi rhapsodiques que le chou-fleur. C'est une erreur-il n'y a pas d'autre mot. Où d'autre l'esprit humain agité peut-il trouver des moyens de nouer l'infini dans un arc fini?

En fin de compte, a soutenu Leibniz, il n'y a que deux concepts absolument simples, Dieu et le Néant. À partir de ceux-ci, tous les autres concepts peuvent être construits, le monde et tout ce qu'il contient, découlant d'un argument primordial entre la divinité et rien du tout. Et puis, par une insondable perspicacité incandescente, Leibniz en est venu à voir que ce qui est crucial dans ce qu'il avait écrit, c'est l'alternance entre Dieu et le Néant. Et pour cela, les chiffres 0 et 1 suffisent.

Si les déclarations morales concernent quelque chose, alors l'univers n'est pas tout à fait ce que la science suggère qu'il est, puisque les théories physiques, n'ayant rien dit sur Dieu, ne disent rien sur le bien ou le mal, le bien ou le mal. Admettre cela obligerait les philosophes à affronter la possibilité que les sciences physiques offrent une vision grossièrement inadéquate de la réalité. Et puisque les philosophes souhaitent vivement se considérer comme des scientifiques, cela leur offrirait un choix peu attrayant entre changer d'allégeance ou accepter leur insignifiance.

Les commentateurs qui parlent aujourd'hui de "l'Âge des ténèbres" où la foi au lieu de la raison régnait impitoyablement, n'ont pour leurs animadversions que l'excuse de la parfaite ignorance. Les dons intellectuels d'Aquin et sa nature religieuse étaient d'un genre qui n'est plus communément vu dans le monde occidental.

Au juste, qui a imposé à la race humaine souffrante des gaz toxiques, des barbelés, des explosifs puissants, des expériences d'eugénisme, la formule du zyklon b, de l'artillerie lourde, des justifications pseudo-scientifiques pour le meurtre de masse, des bombes à fragmentation, des sous-marins d'attaque, du napalm , des missiles intercontinentaux, des plates-formes spatiales militaires et des armes nucléaires? Si ma mémoire est bonne, ce n'était pas le Vatican.

Des passants entraient et sortaient de l'étal du marchand, passant le temps, parlant de rêves qu'ils pourraient acheter. Les ouvriers et les esclaves courbés devant le travail demandaient timidement des rêves de vin et de facilité. Les femmes demandaient des rêves d'amour et les hommes des rêves de femmes.