Quotessence
Home / Authors / IU?. I. Manin
IU?. I. Manin

IU?. I. Manin Quotes

Mathematician

Filter quotes by topic

AllMathematicsProofCapableLogicMathematicalPropertyReasoningAcceptingArgumentBiologyCalculationsCarrieCertaintyComputerConditionsConsumingConvincingDefinitionsExampleExplicit

Famous IU?. I. Manin Quotes

“Of the properties of mathematics, as a language, the most peculiar one is that by playing formal games with an input mathematical text, one can get an output text which seemingly carries new knowledge. The basic examples are furnished by scientific or technological calculations: general laws plus initial conditions produce predictions, often only after time-consuming and computer-aided work. One can say that the input contains an implicit knowledge which is thereby made explicit.”

MadeLawGamesLanguageConditionsExampleProduceComputerMathematicsPropertyMathematicalCarriePlusPeculiarFormalTechnologicalPredictionsInitialsConsumingCalculationsInputExplicitOutputImplicitTime ConsumingNew Knowledge
Author:IU?. I. Manin
Create image

“The goal of a definition is to introduce a mathematical object. The goal of a theorem is to state some of its properties, or interrelations between various objects. The goal of a proof is to make such a statement convincing by presenting a reasoning subdivided into small steps each of which is justified as an "elementary" convincing argument.”

StatesGoalStepsObjectsArgumentMathematicsPropertyDefinitionsVariousProofStatementsMathematicalReasoningIntroducingJustifiedConvincingPresentingTheoremsSmall Steps
Author:IU?. I. Manin
Create image