Frases de "IU?. I. Manin" sobre "META"
"O objetivo de uma definição é introduzir um objeto matemático. O objetivo de um teorema é declarar algumas de suas propriedades, ou inter-relações entre vários objetos. O objetivo de uma prova é tornar uma declaração tão convincente apresentando um raciocínio subdividido em pequenos passos cada um dos quais é justificado como um argumento de "elementar" convincente."
--- IU?. I. Manin
--- IU?. I. Manin
"O que nos obrigações para o espaço-tempo é a nossa massa de repouso, O que nos impede de voar à velocidade da luz, quando o tempo pára e o espaço perde o significado. Em um mundo de luz não há pontos nem momentos de tempo; Os seres tecidos da luz viveriam "em nenhum lugar" e "Nowhen"; Apenas poesia e matemática são capazes de falar significativamente sobre essas coisas."
--- IU?. I. Manin
--- IU?. I. Manin
"Das propriedades da matemática, como uma linguagem, a mais peculiar é que, jogando jogos formais com um texto matemático de entrada, pode-se obter um texto de saída que aparentemente carrega novos conhecimentos. Os exemplos básicos são fornecidos por cálculos científicos ou tecnológicos: leis gerais mais as condições iniciais produzem previsões, muitas vezes somente após o tempo consumidor e trabalho assistido por computador. Pode-se dizer que a entrada contém um conhecimento implícito que é assim explicitado."
--- IU?. I. Manin
--- IU?. I. Manin