Escolar Documentos
Profissional Documentos
Cultura Documentos
Palavras-chave:
O
se qualquer mapa pode ser
colorido com apenas quatro cores sem que nenhuma região adjacente com-
partilhe a mesma cor -
The Philosophy
of Discovery
-
conceito tradicional -
o argumento da introdução da
experimentação na matemática via prova do T4C
simpliciter
-
-
a existência
de pelo menos um mapa que exige cinco cores -
minimal.
-
reductio
-
a existência da prova
redutíveis
et al
reductio ad absurdum.
o porquê
que
a prova não é explicativa
-
não se pode ter certeza de que os cálculos realizados pela
máquina garantem a verdade
.
ad hoc
hardware
-
-
-
-
bugs
bug
bug
bug -
-
nota bene
na
inteligente
descoberta -
cação transformação
exceção ocasional
descoberta
-
unwinding -
prima facie
experimentação -
de provas -
-
-
-
argumento da introdução da experimentação na mate-
mática via prova do T4C
a
a priori -
aa convincen-
tes ab inspecionáveis ac formalizáveis
b aa ac ab -
g -
d -
-
a posteriori da
db
a posteriori. -
a priori e a posteriori
a priori
aa -
-
ab ac
dedução
-
philosophy-last-if-at-all principle
prova e explicação
-
propriamente de
ac -
-
-
ab ac
viu
por causa de
g
-
-
-
-
ele
-
.
op. cit
-
Naming and Necessity
a posteriori -
-
-
idiot savant
-
bloco de notas
matemática inteligente
g -
probabilidade -
-
-
computer
experiments
-
based on all the tricks it had been taught
In a sense the program was demonstrating superiority -
in some intellectual areas loc. cit.
there are limits to what can be achieved in mathematics by theoretical methods
alone loc. cit.
-
likelihood
-
contexto de descoberta
nesse caso -
referees
Logical Forms
Manuscrito
-
-
simpliciter
p p proofs
p provings -
-
A Mathe-
matical Introduction to Logic Introduction to Mathematical Logic
Outlines of a Formalist Philosophy of Mathematics -
j j aa
ab ac -
-
“
Idem -
simplici-
ter
.
p -
op. cit
simpliciter
-
-
-
simpliciter -
simpliciter
-
-
-
-
-
simpli-
citer
apresentação
-
.
-
sui generis
versus
versus
-
-
relações internas -
-
simpliciter
simpliciter
sobredeterminação -
atos provings
objetos proofs -
traço
instruções
-
-
-
perspicuitas -
-
simpliciter -
simpliciter
-
-
Proceedings
of the American Philosophical Society
Syn-
these
Logical Forms Part II Logic, Language, and Knowledge.
Sympo-
sium: Set theory. Foundations of Mathematics
Naming and Necessity
catholicas e echteticas
Visualização das Ciências Formais
-
Deduction, Computation, Experiment: Exploring the Effectiveness
of Proof
Revista Manuscrito
The American
Mathematical Monthly
The Journal
of Philosophy
IBM Journal of Research and Development.