Mathematics is not a deductive science — that's a cliché. When you try to prove a theorem, you don't just list the hypotheses, and then start to reas… - Paul Halmos

" "

Mathematics is not a deductive science — that's a cliché. When you try to prove a theorem, you don't just list the hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork. You want to find out what the facts are, and what you do is in that respect similar to what a laboratory technician does. Possibly philosophers would look on us mathematicians the same way as we look on the technicians, if they dared.

English
Collect this quote

About Paul Halmos

Paul Richard Halmos (Hungarian: Halmos Pál) (March 3, 1916 – October 2, 2006) was a Hungarian-born Jewish American mathematician who made fundamental advances in the areas of probability theory, statistics, operator theory, ergodic theory, functional analysis (in particular, Hilbert spaces), and mathematical logic.

Also Known As

Alternative Names: Paul R. Halmos Paul Richard Halmos
Limited Time Offer

Premium members can get their quote collection automatically imported into their Quotewise collections.

Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.

Additional quotes by Paul Halmos

'André Weil suggested that there is a logarithmic law at work: first-rate people attract other first-rate people, but second-rate people tend to hire third-raters, and third-rate people hire fifth-raters. If a dean or a president is genuinely interested in building and maintaining a high-quality university (and some of them are), then he must not grant complete self-determination to a second-rate department; he must, instead, use his administrative powers to intervene and set things right. That's one of the proper functions of deans and presidents, and pity the poor university in which a large proportion of both the faculty and the administration are second-raters; it is doomed to diverge to minus infinity.

Works in ChatGPT, Claude, or Any AI

Add semantic quote search to your AI assistant via MCP. One command setup.

Loading...