Aquele algo, por vezes claro...
e por vezes vago...
que é a Matemática.
(Lakatos, 1922-74)
Wanderley Moura Rezende
(IM-UFF)
1
Matemática: o que é?

Tanto para eruditos quanto para leigos não é a
Filosofia, mas a experiência ativa na própria
Matemática que unicamente pode responder à
questão: o que é a Matemática?
R. Courant & H. Robbins (1941)
Matemática - objeto de pesquisa da Filosofia




Lógica
Teoria do conhecimento
Metafísica
Filosofia da Matemática
2
Algumas definições de dicionários
– Ciência que investiga relações entre entidades
definidas abstrata e logicamente (Aurélio)
– Ciência que lida com relações e simbolismos de
número e grandezas e que inclui operações
quantitativas e soluções de problemas
quantitativos (Enc. Britânica)
– Ciência que estuda objetos abstratos (números,
figuras e funções) e as relações entre eles,
procedendo por método dedutivo (Houaiss)
3
Etimologia
– Mathema (greg. maqhma)
 tudo o que é objeto de aprendizagem
 a coisa apreendida, quem a aprende e o modo de
aprender - Sexto Empírico (150-220)
– Escola Pitagórica
 mathematikoi – círculo interno de seguidores
 escutar – fazer perguntas – expor idéias
– Matematica (séc. XVI) - greg. Mathematike
– a ciência matemática
4
Algumas definições especiais

(...) a investigação matemática, por si própria, devido a seu
caráter especial, sua certeza e severidade, leva a mente
humana a uma proximidade maior com o divino do que
pode ser atingido por meio de qualquer outro recurso. A
matemática é a ciência do infinito, seu objetivo a
compreensão simbólica do infinito com meios humanos,
portanto finitos. (Hermann Weyl, 1885-1955)

A Matemática é a Rainha das Ciências e a Aritmética a
Rainha da Matemática (Gauss, 1777-1855)

A Matemática é a honra do espírito humano
(Leibniz, 1646-1716)
5
Problema interessante
1
1
2
2, 2, 2, 2,
...
2
6
Matemática e Filosofia
 Quatro
grupos de definições

M. como ciência da quantidade
 M. como ciência das relações
 M. como ciência do possível
 M. como ciência das construções possíveis
7
M. como ciência da quantidade

A primeira definição
– Aristóteles(384-322a.C.) & Platão (427-347a.C.) (implícita)
– Pitagóricos – a Matemática é A ciência
 (ciência dos números e das figuras geométricas)

Mundo antigo e Renascimento
– Séc. XIX - torna-se insuficiente
– Comte (1798-1857)
8
Definição de Aristóteles

O matemático constrói sua teoria por meio da abstração;
prescinde de todas as qualidades sensíveis, como peso e
leveza, dureza e seu contrário, calor e frio, e das outras
qualidades opostas, limitando-se a considerar apenas a
quantidade e a continuidade, ora em uma só dimensão,
ora em duas, ora em três, bem como os caracteres dessas
entidades, na medida em que são quantitativas e
continuativas, deixando de lado qualquer outro aspecto
delas. Consequentemente, estuda as posições relativas e
o que é inerente a elas: comensurabilidade ou
incomensurabilidade e proporções.
9
Definição de Comte (1798-1857)

Matemática é a ciência que tem por objeto
a medida das grandezas (...) A arte
elementar do raciocínio decisivo (...) só a
Matemática pode convenientemente
desenvolver.
10
M. como ciência das relações

Estreitamente ligada à Lógica ou parte desta

Logicismo

Leibniz (1646-1716)
– Mathesis Universalis - sistema geral; uma
linguagem para fundamentação do raciocínio
em todas as ciências
11

Frege (1848-1925) x Psicologismo
– O conceito de razão pertence (...) ao campo da
lógica pura. Aqui não interessa o conteúdo
especial da relação, mas exclusivamente a sua
forma lógica. Se algo pode ser afirmado sobre
ela, a verdade desse algo é analítica e
reconhecida a priori.

B. Russel (1872-1970)
- Matemática coincide com a Lógica
12

Wittgenstein (1889-1951)
– A Matemática é um método lógico. As proposições
da Matemática são equações, portanto
pseudoproposições. A proposição matemática não
exprime pensamento algum. De fato, nunca
precisamos de proposições matemáticas na vida,
mas as empregamos apenas com o fim de, a partir
de proposições que não pertencem à Matemática,
tirar conclusões que se expressam em proposições
que tampouco lhe pertencem.
– (...) As equações da Matemática correspondem às
tautologias da Lógica e, como estas, nada dizem.
13

Carnap (1891-1970)
– Os cálculos constituem um gênero particular de cálculos lógicos,
distinguindo-se deles pela maior complexidade. Os cálculos
geométricos são um gênero particular de cálculos físicos.

Tese Logicista
– Construir uma Lógica exata
– Definir todos os conceitos da M. em termos dos conceitos da
Lógica
– Deduzir todos teoremas da M. a partir dessas definições e por
meio dos princípios da Lógica

C. S. Peirce (1839-1914)
– Matemática ~ Lógica . Mas ...
– (...) enquanto a Matemática é a ciência que infere conclusões
necessárias, a lógica é a ciência do modo de inferir conclusões
necessárias.
14
M. como ciência do possível
Possível ~ aquilo que não implica contradição

Hilbert (1862-1943)
– A Matemática pode ser construída como simples cálculo sem
exigir interpretação alguma.
– Sistema axiomático
 Enumerar conceitos básicos e relações básicas;
 Enumerar os axiomas e destes deduzir todos os outros
enunciados a partir das relações básicas.

Formalismo
15

Bourbaki (1939 /1816-97)
– Matemática é simplesmente o estudo de estruturas
abstratas ou padrões formais de associação

T. de Gödel (1906-78)
– exclui a possibilidade da Matemática como sistema
único e total

De fato, pode-se construir uma máquina que seja
capaz de resolver determinado problema, mas não
uma máquina que seja capaz de resolver todos os
problemas (E. Nagel – G.R. Newmann)
16
M. como ciência das construções
possíveis

Kant (1724-1804) – Matemática como construção de
conceitos

Poincaré (1854-1912) – polêmicas antiformalistas

Intuicionismo
– A construção de que o intuicionismo fala é conceitual e não se
refere a fatos empíricos
17

Brouwer (1839-1914)
– A Matemática identifica-se com a parte exata do pensamento
humano e por isso não pressupõe ciência alguma, nem a
lógica, mas exige uma intuição que permita apreender a
evidência dos conceitos e das conclusões.

Ponto de vista de Brouwer
– A Matemática Pura é uma criação livre do espírito e não tem
relação alguma com os fatos de experiência.
– A simples constatação de um fato de experiência sempre
contém a identificação de um sistema matemático.
– O método das ciências da natureza consiste em reunir os
sistemas matemáticos contidos nas experiências isoladas em
um sistema puramente matemático construído com este fim.
18
...e agora José?

J. Ferrater Mora (1912-91)
– Para o Logicismo, (...), a M. se reduz à Lógica. Para o
formalismo, (...), a M. pode ser formalizada por
completo; (...). Para o intuicionismo, (...), pode-se falar
de entes matemáticos tão somente se podemos construílos mentalmente. Cada uma destas posições enfrenta
dificuldades peculiares (...). Cada uma destas posições,
por outro lado, alcançou grandes triunfos e impulsionou
sobremaneira o progresso na matemática. Não se pode
prever que teoria triunfará definitivamente; o mais
provável é que seja preciso manter as partes mais
fecundas de cada uma delas.
19

Nicola Abbagnano (1971)
– E já que é difícil ignorar a importância do
aspecto linguístico da Matemática, que serviu
de base para o logicismo, o pensamento
matemático conteponrâneo é dominado por
certo ecletismo.
20
Relação entre a Matemática e
outras Ciências

Matemática: Ciência ou Linguagem?

Para alguns... Linguagem Universal

Leibniz (1646-1716) - Mathesis Universalis
– sistema geral; uma linguagem para
fundamentação do raciocínio em todas as ciências
21
A matemática é
a linguagem com a qual Deus
escreveu o Universo
Galileu (1564-1643)
22
O Positivismo – Comte (1798-1857)

Sistema comteano (1844):

Matemática – Astronomia – Física – Química –
Biologia – Sociologia
“[...] a primeira necessariamente o ponto de partida
exclusivo e a última o fim único e essencial [...] o
conjunto desta fórmula enciclopédica, exatamente
conforme as verdadeiras afinidades dos estudos
correspondentes [...] permite enfim a cada inteligência
renovar à sua vontade a história geral do espírito
positivo, ao passar, de modo quase insensível, das
mais insignificantes idéias matemáticas aos mais altos
pensamentos sociais.”
23
O Construtivismo

Piaget (1896-1980) - O Círculo Piagetiano
– Pretende fundar uma teoria do conhecimento científico
que conduza “das mais elementares atividades
psicofisiológicas do sujeito aos mais altos pensamentos
científicos”.
– Ponto de partida: a Matemática e a Lógica. Seguem-se:
a Física, a Biologia e por, último, a Psicologia
Experimental e a Sociologia (unificadas com o nome de
Psico-Sociologia)

Vygotsky (1896-1934)

“A correção absoluta só se consegue para lá da linguagem
natural, na Matemática”
24
Enciclopédia Francesa

D’Alembert (1717-83) e Diderot (1713-84)

“Discurso Preliminar”

O conhecimento é constituído por três raízes

Memória,
Razão e Imaginação
(História) (Filosofia)
(Poesia)

A Lógica - lugar de destaque – engloba as funções da
Língua.

A Matemática - terreno das ciências naturais.
25
Ciência ou Linguagem?

Dicionário de Filosofia (Nicola Abbagnano, 1971)

Ciência
– Conhecimento que inclua, em qualquer forma ou
medida, uma garantia da própria validade.

Linguagem
– Em geral, o uso de signos intersubjetivos, que são os
que possibilitam a comunicação.
26
A árvore cartesiana
Astronomia, Medicina, etc.
Física (Filosofia Natural)
Metafísica (incluindo a religião)

a condição de possibilidade do conhecimento (a seiva)
Descartes (1596-1650, Discurso sobre o método)
27
N.J.Machado (1995)

(...) a Língua e a Matemática constituem os dois
sistemas básicos de representação da realidade. (...)
São instrumentos de expressão e de comunicação e,
conjuntamente, são uma uma condição de
possibilidade do conhecimento em qualquer área. O
par Língua/Matemática compõem uma linguagem
mista, imprescindível para o ensino e com as
características de um degrau necessário para alcançar-se
as linguagens específicas das disciplinas particulares.
28
Algumas referências curiosas...

Ah, prometo àqueles meus professores desiludidos que na próxima
vida eu vou ser um grande matemático. Porque a Matemática é o
único pensamento sem dor (M. Quintana, 1906-94)

Tenho capacidades e talentos muito restritos. Nenhum para as
Ciências Naturais, nenhum para a Matemática, nada para as coisas
quantitativas (S. Freud, 1856-1939)

Está praticamente fora de questão que eu escreva artigos. A única
ocupação que me permite conservar a necessária paz de espírito é a
Matemática (K. Marx, 1818-83)

O princípio criador reside na Matemática; sua certeza é absoluta,
enquanto se trata da Matemática abstrata, mas diminui na razão
direta de sua concretização (Einstein, 1879-1955)
29
Na Matemática, para saborear com
prazer o fruto é preciso conhecer
bem as suas raízes.

Malba Tahan (1895 a 1974 )
Júlio César de Mello e Souza
30
Ecletismo
Reunião de elementos doutrinários de origens
diversas que não chegam a se articular em
uma unidade sistemática consistente.
31