Car@s,
quem quiser ver  um livro  bombástico, que  acabei de  receber,
"revolucionando" os fundamentos da matemática, por favor encontre
aqui:

https://www.dropbox.com/s/71vnwghi34rqu8k/Transconsistent%20Logic%20Principle%EF%BC%88%E2%85%A1%EF%BC%89%28English--chinese%29%20%281%29.pdf?dl=0

--------------------------------------------------
Transconsistent Logic Principle (II)
Zhang Jincheng


Zhang Jincheng has built a transconsistent logic system S-K. Based
on this, he proved that “Gödel’s Incompleteness Theorem”, “Cantor real
number uncountable theorem”,
 “Turing’s ‘halting problem’ is undecidable” are false.
He thinks that uncountable numbers do not exist. “ Cantor’ s continuum
hypothesis” is a wrong concept of infinity. The concept of infinity in the
classical mathematic set theory is false too. He redefined the concepts of
ordinal number, cardinal number and infinity.

---------------------------------------------
O prefácio é do Huacan He, Computer School of Northwestern
Polytechnical University, China,
amigo do Jean-Yves,   keynote. speaker   de um dos  Unilogs.

Eu parei de ler. quando ele define (Omega+ 1) como  Lim n   (n--> \infty).
Aí é claro que Omega + 1  = Omega,   o conto chinês dele começa...
sem dizer o que é. \infty ....

Mas talvez alguém queira ler  até. o final,


Abs,

Walter

-- 
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy –UNICAMP

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NcnKDfUDE8C6c1Fnx4cmM6R%2Bkt%3DMwfHFFoEsa65Upg0g%40mail.gmail.com.

Responder a