Kurt Gödel: "... uma prova de consistência para [qualquer] sistema ......

"... uma prova de consistência para [qualquer] sistema ... pode ser realizado apenas por meio de modos de inferência que não são formalizados no sistema. .. próprio."

--- Kurt Gödel

#Quer dizer #Matemática #Consistência #Prova #Inferência

Versão em inglês

...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.

Você pode gostar:

Paco Underhill

4 Citações e frases

Sanjeev Bhaskar

30 Citações e frases

Lori Petty

15 Citações e frases

Darren Walker

3 Citações e frases

Dana Delany

13 Citações e frases

Robert Edison Fulton, Jr.

4 Citações e frases

Columba Bush

13 Citações e frases

Derek Jameson

2 Citações e frases

Isabel Scott Rorick

3 Citações e frases

Mark Sisson

6 Citações e frases

Mathew Tobriner

2 Citações e frases

Pam Dreyer

1 Citações e frases