Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

NMEROS TRANSREAIS: MATEMTICA OU DEVANEIO?

Tiago Soares dos Reis*

Introduo
O conjunto dos nmeros transreais, denotado por

, uma extenso do conjunto dos

nmeros reais. James A. D. W. Anderson1, o propositor deste novo conjunto numrico,

postula a existncia, alm dos nmeros reais, de trs novos elementos, a saber:

chamados, respectivamente, de menos infinito, infinito e nulidade2. Desta forma,

. A aritmtica transreal total, isto , o resultado de qualquer uma,
adio, subtrao, multiplicao e diviso, entre nmeros transreais um nmero transreal.
Em particular, a diviso por zero permitida. Anderson define

(ANDERSON, 2005). Uma imagem pictrica da reta transreal pode ser exibida como abaixo.

Figura 1 - Reta transreal

Os nmeros transreais surgiram motivados na computao. Os computadores atuais tm

uma limitao de processamento, a saber, as excees aritmticas que ocorrem quando da
diviso por zero. Fornecer deteco e processamento a tais excees causa um gasto
excessivo de memria, espao no processador, tempo de processamento e energia eltrica e
desperdia o tempo do programador em antecipar e lidar com os erros. Um novo computador
que no tem excees tem sido desenvolvido por Anderson com base nos nmeros transreais
(ANDERSON, 1997, 2005).
A primeira meno diviso por zero foi inspirada na geometria projetiva (ANDERSON,
1997). Desde ento diversos trabalhos foram produzidos no desenvolvimento dos nmeros
*

Tiago doutorando do Programa de Ps-Graduao em Histria das Cincias e das Tcnicas e Epistemologia
(HCTE) - Universidade Federal do Rio de Janeiro (UFRJ), professor do Instituto Federal de Educao, Cincia e
Tecnologia do Rio de Janeiro (IFRJ) - campus Volta Redonda e mestre em matemtica pelo Instituto de
Matemtica (IM) - UFRJ.
1
James A. D. W. ANDERSON atualmente professor da School of Systems Engineering - Reading University
na Inglaterra.
2
O termo original utilizado por Anderson em ingls, sua lngua materna, "nullity". Utilizamos o termo
"nulidade" como uma traduo livre.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

transreais. Em 2002, ANDERSON considera o uso sinttico das regras de operaes entre
fraes, ainda que, com o denominador zero. Em 2006, ANDERSON prope o conjunto dos
nmeros transracionais,

. Um tempo depois, apresentada uma lista de

axiomas que estabelecem o conjunto e a aritmtica dos nmeros transreais (ANDERSON et

al., 2007). Em 2007, ANDERSON estende as funes trigonomtricas, logartmicas e
exponenciais aos nmeros transreais e, em 2008, ANDERSON prope uma topologia para o
espao transreal e estabelece o conceito de transmtrica. Em 2013, REIS et al. fazem uma
analogia do momento pelo qual passam os nmeros transreais com momentos histricos de
diversas outras categorias de nmeros. Ainda, em 2013, GOMIDE e REIS fazem um estudo
das motivaes de Anderson na concepo do nullity e comparam os nmeros transfinitos de
Cantor aos transreais, afirmando que estes ltimos possibilitam a extenso do conceito de
mtrica s distncias infinitas e indeterminadas. Em 2014, REIS e GOMIDE propem uma
construo do conjunto dos nmeros transreais a partir dos reais. Ainda, ANDERSON e
GOMIDE (2014) propem uma aritmetizao de uma lgica paraconsistente utilizando os
transreais. ANDERSON e REIS (2014) estabelecem os conceitos de limite e continuidade no
espao transreal e REIS e ANDERSON estabelecem os conceitos de derivada e integral no
espao transreal (2014a) e propem o conjunto dos nmeros transcomplexos fazendo uma
construo deste a partir dos nmeros complexos (2014b).
Neste texto ns discutimos alguns aspectos da transmatemtica (matemtica que surge
com a permisso da diviso por zero), tentamos entender as motivaes de Anderson na
concepo da aritmtica transreal e propomos uma interpretao contextual para esta
aritmtica.

Algo sobre a transmatemtica

A transmatemtica est em seu estado inicial de desenvolvimento. E por este motivo
encontra-se sobre a tenso da linha tnue que separa a conquista de um lugar no Olimpo e o
beber das guas do rio Lete. James Anderson concebeu os nmeros transreais de forma
intuitiva. Ele sups a existncia de nmeros alm dos nmeros j conhecidos, de forma que,
de posse destes novos nmeros, a diviso por zero permitida. Como no mbito dos nmeros
reais ou dos complexos, que j so deuses atenienses, demonstra-se que no possvel a
diviso por zero, a expresso "dividir por zero" soa, no mnimo, de forma estranha. Por isto,
de se esperar que este novo conjunto numrico seja de difcil aceitao. Entretanto, pensamos
que o conjunto dos nmeros transreais passam por um processo no qual outras categorias de
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

nmeros j passaram. A histria mais uma vez se repete! Um tipo de nmero concebido
primeiramente de forma intuitiva, imaginativa, supositiva e depois ganha o status de nmero,
to nmero quanto os anteriormente j assim aceitos. Algumas categorias de nmeros como,
por exemplo, os negativos, irracionais, imaginrios e infinitesimais, foram concebidos
inicialmente como entidades transitrias, que apareciam apenas durante os clculos, mas que
no eram nmeros em si (ROQUE, 2012). No eram objetos com existncia prpria, mas seus
aparecimentos estavam sempre condicionados aos nmeros "verdadeiros". Por exemplo, o
smbolo

no representava um nmero, mas apenas a operao de subtrao por . Quando

no Clculo escrevemos

, de certa forma, fazemos o mesmo. Em geral, os

professores e os livros enfatizam que o smbolo

na expresso acima no representa um

nmero, mas apenas um smbolo para indicar que a funo

assume valores arbitrariamente

grandes quando toma-se, no domnio da funo, valores suficientemente prximos de

quando escreve-se

. Ou

, enfatiza-se que esta no uma adio entre nmeros, mas

apenas uma representao do fato de que a soma de duas funes assume valores to grandes
quanto se queira se cada uma das funes assume valores to grandes quanto. Ora, isto o
mesmo que nossos colegas faziam a alguns sculos atrs. Davam aos objetos que no se
encaixavam s regras em vigor a categoria de "no ser", de, apenas, entes imaginrios no
desenvolvimento da teoria. Conforme estes objetos se tornavam cada vez mais presentes nos
estudos, desprez-los j no era possvel. Buscava-se, ento, formas de interpret-los. Assim
foram surgindo para estes, interpretaes geomtricas e aritmticas, foram sendo
estabelecidas regras convincentes (que eram anlogas as j existentes) de operao e at sua
fundamentao em nmeros j aceitos. Como por exemplo, a concepo de nmero real como
um corte no conjunto dos nmeros racionais ou como uma classe de sequncias de Cauchy de
nmeros racionais, de nmero complexo como um par ordenado de nmeros reais ou de
nmero hiperreal como uma classe de sequncia de nmeros reais. O mesmo acontece agora
com os transreais. Eles receberam uma fundamentao a partir dos reais (REIS e GOMIDE,
2014). Desta forma esta categoria de nmero no tem o carter apenas intuitivo nem apenas o
axiomtico, mas tambm pode ser encarada como consequncia dos nmeros reais. A
consistncia dos nmeros transreais est fundamentada, ento, na consistncia dos nmeros
reais.
Para exemplificar o que foi dito acima, podemos citar os nmeros complexos. Nas
primeiras aparies de um termo do tipo

na resoluo de uma equao, dizia-se que a

equao no tinha soluo. Depois, objetos deste tipo ganharam o status de entidades
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

transitrias, que apareciam apenas durante os clculos, mas que no eram nmeros em si.
Ganharam os nomes de nmeros "falsos", "fictcios", "impossveis", "absurdos", "sofsticos" e
"imaginrios" (ROQUE, 2012). Quando Bombelli se deparou com a raiz quadrada de um
nmero negativo enquanto procurava soluo para a equao

, ele operou

com o objeto estranho utilizando as propriedades usuais de nmeros reais e encontrou

soluo (EVES, 2011). Ora, substituindo x por , no difcil ver que, de fato,

como

soluo da

equao acima. Bombelli passou, ento, a utilizar os nmeros imaginrios com as mesmas
propriedades aritmticas dos nmeros reais. Por muito tempo, a ideia de que a raiz quadrada
de um nmero negativo um nmero no foi bem aceita entre os matemticos. Porm, a
necessidade do estudo destes novos objetos foi latente. Com a formalizao de cada nmero
complexo como um par ordenado de nmeros reais, com definies de adio e multiplicao
convenientes, as ideias contrrias a estes nmeros foram abandonadas. Com as aplicaes dos
complexos nas engenharias, na fsica e no desenvolvimento tecnolgico, no se ouve mais a
voz de quem conteste esses nmeros.
A grande novidade dos nmeros transreais a diviso por zero.
Mas ... Ora, at os doutores matemticos sabem que impossvel dividir por
zero.
Posto que
para todo nmero real , se existisse um nmero
mgico

pertencente aos reais tal que

, isto

, teramos

.
Mas um nmero real, donde
. Da,
.
Inadmissvel! Isso no! Isso no!
Que respeito teria um conjunto de nmeros reais cujo neutro multiplicativo
fosse igual ao neutro aditivo?
Sbios doutores! Devem ter aprendido com as crianas.
Se eu dividir meus vinte pirulitos em pores contendo zero pirulito cada e
der uma poro para cada amiguinho meu, quantos amiguinhos podero
saborear um pirulito?
Pois ! Se quero compartilhar meus pirulitos, cada poro no pode conter
zero pirulito!
Tendo aprendido com o comungar das crianas, os matemticos resolveram,
ento, proibir a diviso por zero.
Afinal, que utilidade teria ela?
interessante notar que a ideia de diviso por zero surgiu de um no matemtico.
Anderson cientista da computao e props os transreais a fim de evitar o travamento do
computador quando do aparecimento de uma diviso por zero em seu processamento.
Podemos conjecturar que os matemticos no viram na falta de diviso por zero um problema,
pois nunca tiveram necessidade dela. Talvez um outro motivo que pode ter ajudado a no
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

proposta de diviso por zero de dentro da matemtica o prprio engessamento da prtica.

Em geral, um matemtico conhece muito bem as regras do jogo que pratica. E, assim, est
mergulhado nelas. O que o dificulta, ou at impede, de elucubrar sobre algo fora do comum.
Percebemos que os transreais nasceram de uma necessidade prtica, a programao de
computadores, e pelas ideias de um no matemtico.
possvel que Anderson tenha tido a ideia dos transreais ao ousar aplicar as regras de
operaes entre fraes usuais a fraes que permitem denominador zero. Obviamente,
qualquer um preocupado com o rigor diria: Mas uma frao com denominador zero no tem
qualquer sentido! Fraes se operam nos nmeros reais ou complexos e um smbolo do tipo
tem nenhum significado. No um nmero. nada! no-ser! Entretanto, Anderson
simplesmente se aventurou em aplicar as regras, a fraes que permitem denominador zero,
de forma sinttica, isto , abdicando de qualquer significado e, at mesmo, de qualquer
definio para um objeto do tipo .
Ora, sabemos que: duas fraes de nmeros reais
isto ,

se, e s se, existe um nmero real

e , onde

, so equivalentes,

tal que

ey

(a restrio

no tira a generalidade da questo, pois qualquer frao pode ser reescrita como uma
frao equivalente de denominador positivo). Se aplicarmos esta mesma regra trocando
por

, isto , duas fraes de nmeros reais

equivalentes se, e s se, existe um nmero real

para todo nmero real
nmero real

, onde

, so

e y

, obtemos

para todo

tal que

para todo nmero real

. Assim, para permitirmos, sintaticamente, fraes com denominador zero,

precisamos apenas de mais trs elementos alm dos nmeros reais, a saber:
Anderson denotou

motivadas provavelmente nos limites

. As notaes
e

e
.

Continuando. Se aplicarmos as regras

,

,
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

e .
foram

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

.,
anlogas s regras das operaes aritmticas entre fraes usuais, s fraes que permitem
denominador zero, obtemos exatamente a aritmtica axiomatizada por Anderson. Para no
ficar extenso, tomaremos como exemplo apenas a adio por

. No que segue,

denota um

nmero real arbitrrio:

,
,
e
.
(Em (ANDERSON et al., 2007), os axiomas A4, A5 e A11 afirmam que
,

.) Com o uso sinttico das regras usuais de

fraes, Anderson concebeu os transreais. Salientamos que do ponto de vista conceitual,

Anderson no define a diviso por zero e nem o que um nmero transreal. Entretanto, ele
obteve sucesso em se inspirar na aritmtica das fraes para estabelecer o conjunto dos
nmeros transreais por meio axiomtico.
claro que, como em qualquer teoria proposta por meio de axiomas ou de postulados,
cabe a discusso epistemolgica sobre se so ou no aceitveis tais axiomas. Isto , os
nmeros transreais esto postos via axiomas, mas so estes nmeros entes estritamente
abstratos? Sem qualquer significado ou interpretao? Pode algum sentido ter a diviso por
zero? H algum modelo onde se encaixam estes axiomas?
A resposta a ltima pergunta sim. Como j comentado, os transreais receberam uma
construo a partir dos reais por meio de uma determinada relao de equivalncia em pares
ordenados de nmeros reais (REIS e GOMIDE, 2014). Isto prova a consistncia dos axiomas
enunciados por Anderson e d um sentido, ainda que analtico, para os smbolos do tipo .
Sobre as demais perguntas, decerto, no se pode dar diviso por zero o mesmo significado
que diviso por nmeros no nulos. Entretanto, isto no quer dizer que no se possa dar
diviso por zero um significado mais amplo que englobe o significado da diviso pelos
demais nmeros. Este processo comum na matemtica. Por exemplo, a multiplicao
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

pode ser interpretada por dizer que

oriundo da unio disjunta de

conjuntos cada um contendo

pode ser dado multiplicao

por dizer que

a quantidade de elementos de um conjunto

elementos. Tal significado no

. Entretanto, podemos interpretar esta operao

o vetor obtido pela homotetia, neste caso ampliao, de fator

do vetor

. Esta mesma interpretao cabe multiplicao anterior, isto , podemos dizer que
vetor obtido pela homotetia de fator
multiplicao

do vetor . Contudo esta explicao no pode ser dada

. Ainda assim, podemos dizer que

bidimensional, obtido pela rotao de ngulo Arg

o vetor, no plano

e homotetia de fator

do vetor

.E

esta mesma interpretao cabe aos dois casos anteriores. Com estes exemplos, percebemos
que a ampliao do significado de um objeto matemtico no uma novidade.
E sobre as operaes entre nmeros transreais? Ora, nmeros reais so interpretados
como vetores na reta orientada. Podemos interpretar, tambm, cada nmero transreal como
um vetor. O

como um vetor orientado positivamente cujo "tamanho" (mdulo) maior que

o tamanho de qualquer vetor real. No necessariamente,

tem um tamanho fixo. Podemos

olhar para o tamanho deste vetor como sendo anlogo localizao de um eltron em seu
orbital. Isto , a cada momento que

operado, ele possui algum tamanho, que certamente

maior que o tamanho de qualquer vetor real, mas no necessariamente o mesmo tamanho de
um instante anterior. Enfatizamos que no estamos interpretando o
isto , um vetor indeterminado. Ao invs disso,
tamanho varivel. Analogamente, interpretamos

como diversos vetores,

um vetor determinado, nico, porm com

como um vetor orientado negativamente

cujo tamanho maior que o tamanho de qualquer vetor real. Semelhantemente, o

pode ser

entendido como um vetor cujo tamanho assume um valor a cada vez que operado, mas
diferente de
nmero

, o tamanho de

no tem a restrio de ser maior que qualquer nmero real. O

nico, definido e determinado, porm seu tamanho, como vetor, um a cada

momento em que

opera. Alm disso, entendemos que

tamanho. Isto , a cada instante que

operado ele possui um determinado tamanho que,

entretanto, desconhecido. Desta forma, se

interpretada como a translao de
ento
adio

por

no revela informao sobre seu

. Assim, como

, ento a adio

pode ser

tem tamanho finito, se

tem algum tamanho maior que qualquer nmero real donde

,
. A

pode ser interpretada como a translao de um vetor de orientao positiva

de tamanho desconhecido maior que qualquer nmero real por um vetor de orientao
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

negativa de tamanho desconhecido maior que qualquer nmero real (no necessariamente
igual ao do vetor positivo). Assim
isso

tem tamanho completamente desconhecido. Por

. A esta altura o leitor j pode deduzir a interpretao para

para as demais operaes de adio e multiplicao. Nos nmeros reais a diviso tambm no
possui uma interpretao vetorial. A no ser a de que diviso o inverso da multiplicao.
Isto , se

, ento

. Isto pode ser reescrito por

. Isto , "diviso por" a "multiplicao pelo recproco de". E o

recproco pode ser tomado em fraes de numerador zero, entendendo recproco como
meramente a inverso de papis de numerador e denominador. Assim, diviso por zero a
multiplicao por .
Diviso por zero
Zero.
Que nmero este que est a, mas representa nada?
Representa nada? Ento por que a est?
Zero representa nenhuma quantidade. E se no h, ento no-ser.
Mas o no-ser no pode ser. Portanto o zero no , garante Parmnides.
Mas, se tudo que existe ser e, portanto, o no-ser no , como o que existe
veio a ser?
Como o primeiro ser se tornou?
Ser que algo que no existe trouxe outralgo a existncia? Ser que o noser de alguma forma ? Ser que existe alguma forma de ser diferente do
ser? Ser que o no-ser , mas apenas no se manifestou?
No ser e no no-ser. Eis a questo!
Moiss testemunha, Jav disse "Eu sou o EU SOU".
O EU SOU se mostrou. O no-ser agora ser .
O no-ser, agora ser, EU SOU disse "Haja luz!". E tudo houve!
Houve do no-ser. Do nada, tudo se tornou ser. Do nada, tudo. Nada gerou
tudo.
Isto est muito complicado!
Recorramos a matemtica! Quem mais poderia descomplicar e dar ao louco
alguma sanidade?
Nada gerou tudo. Zero gerou infinito. gerou .
Mas eu no sei entender! Eu s sei matematicar. Preciso trocar o "gerar" por
um cidado matemtico.
Que objeto matemtico transforma em ?
...
O recproco! A diviso!
.
Entendi! O tudo surgiu de uma diviso por zero!
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

Correo. Matematiquei! O tudo surgiu de uma diviso por zero!

O zero continha tudo e o compartilhou conosco, meros mortais.
Nullity
O que o nullity?
Nullity zero dividido por zero.
Mas o que zero dividido por zero?
Zero sobre zero nullity e nullity zero sobre zero.
Mas zero sobre zero indeterminado. At os matemticos sabem disso!
Ento o nullity indeterminado?
No. O nullity um nmero. Nmero transreal. To real quanto um real.
Mas nullity igual a zero sobre zero e zero sobre zero indeterminado.
Ento nullity no indeterminado porque um nmero, mas um nmero
que traduz o indeterminado.
Um nmero que traduz o indeterminado? No sabia que podia haver um
nmero que o indeterminado traduz.
Nullity, um indeterminado bem definido.
Nullity um nmero absorvente. Mais, menos, vezes, dividido por nullity
tudo d nullity!
Nullity absorve todo nmero que opera com ele. Seria o nullity um buraco
negro dos nmeros?
Que audcia minha!
nullity a distncia entre dois mundos superpostos?
nullity o hyle de Aristteles ou o apeiron de Anaximandro?
nullity a fora entre duas cargas de mesmo sinal infinitamente prximas?
nullity a medida da complexidade mtua entre dois objetos gerados por
milagres?
nullity a probabilidade condicional de um evento acontecer, dado que um
evento impossvel aconteceu?
Ah, nullity. A que tu viste? Por que despertas-me de meu conforto?
Nullity.
Zero sobre zero. Aquele que no pode ser dito.
Aquele que traz pra si todos os outros. Voc um zero?
Voc um antagnico ao zero?
Vocs brigam?
So amigos?
Zero tudo gera e nullity tudo encerra?
Zero o Big Bang e nullity o Big Crunch?
Nullity, o que tu trazes a ns?
Guardas algo?
Por que ests a isolado?
s um sol que ilumina a estrada real?
No h um caminho para achegar-se a ti?
Por que no te ordenas entre ns?
s superior? Por que no se ds a comparar?

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG

08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

Nota: As ideias de nullity como a distncia entre dois mundos superpostos, o hyle de
Aristteles ou o apeiron de Anaximandro, a fora entre duas cargas de mesmo sinal
infinitamente prximas, medida da complexidade mtua entre dois objetos gerados por
milagres e a probabilidade condicional de um evento acontecer, dado que um evento
impossvel aconteceu foram inspiradas em trabalhos ainda no publicados de Gomide.

Referncias Bibliogrficas
ANDERSON, J. A. D. W. Representing geometrical knowledge. Philosophical Transactions
of the Royal Society B, v. 352, p. 1129-1140, 1997.
ANDERSON, J. A. D. W. Exact numerical computation of the rational general linear
transformations. Vision Geometry XI Proceedings of the SPIE, v. 4794, p. 22-28, 2002.
ANDERSON, J. A. D. W. Perspex machine II: Visualisation. Vision Geometry XIII
Proceedings of the SPIE, v. 5675, p. 100-111, 2005.
ANDERSON, J. A. D. W. Perspex machine VII: The universal perspex machine. Vision
Geometry XIV Proceedings of the SPIE, v. 6066, p. 1-17, 2006.
ANDERSON, J. A. D. W. Perspex machine IX: Transreal analysis. Vision Geometry XV
Proceedings of the SPIE, v. 6499, p. 1-12, 2007.
ANDERSON, J. A. D. W. Perspex machine XI: Topology of the transreal numbers. In:
INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER
SCIENTISTS, 2008. Hong Kong. Anais... International Association of Engineers, 2008. p.
330-338.
ANDERSON, J. A. D. W.; VLKER, N.; ADAMS A. A. Perspex Machine VIII: Axioms of
transreal arithmetic. Vision Geometry XV Proceedings of the SPIE. v. 6499, p. 649903.1649903.12, 2007.
ANDERSON, J. A. D. W.; GOMIDE, W. Transreal arithmetic as a consistent basis for
paraconsistent logics. In: INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE
AND APPLICATIONS, 2014. San Francisco. Anais... International Association of Engineers.
No prelo.
ANDERSON, J. A. D. W.; REIS, T. S. dos. Transreal limits expose category errors in IEEE
754 floating-point arithmetic and in mathematics. In: INTERNATIONAL CONFERENCE
ON COMPUTER SCIENCE AND APPLICATIONS, 2014. San Francisco. Anais...
International Association of Engineers. No prelo.
EVES, H. Introduo Histria da Matemtica. 5. ed. Campinas: UNICAMP, 2011.
GOMIDE, W; REIS, T. S. dos. Nmeros Transreais: Sobre a Noo de Distncia. Synesis, v.
5, n. 2, p. 197-210, 2013.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT

REIS, T. S. dos; GOMIDE, W. Construction of the transreal numbers. Disponvel em:

<http://figshare.com/articles/Construction_of_the_transreal_number/1025732>. Acesso em:
28 de jul. 2014.
REIS, T. S. dos; GOMIDE, W; KUBRUSLY, R. Nmeros transreais: mais uma etapa na
histria dos nmeros. In: SCIENTIARUM HISTORIA: VI CONGRESSO DE HISTRIA
DAS CINCIAS DA TCNICAS E EPISTEMOLOGIA, 2013. Rio de Janeiro. Anais...
Universidade Federal do Rio de Janeiro, 2013.
REIS, T. S. dos; ANDERSON, J. A. D. W. Transdifferential and transintegral calculus. In:
INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND APPLICATIONS,
2014a. San Francisco. Anais... International Association of Engineers. No prelo.
REIS, T. S. dos; ANDERSON, J. A. D. W. Construction of the transcomplex numbers from
the complex numbers. In: INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE
AND APPLICATIONS, 2014b. San Francisco. Anais... International Association of
Engineers. No prelo.
ROQUE, T. Histria da Matemtica: Uma Viso Crtica, Desfazendo Mitos e Lendas. 1. ed.
Rio de Janeiro: Zahar, 2012.

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG

08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9