Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Math Topics » Snark

Topic: COM:Brouwer y el constructivismo
Replies: 1   Last Post: Apr 16, 2011 3:17 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Fernando Peregrin

Posts: 160
Registered: 12/6/04
COM:Brouwer y el constructivismo
Posted: Jul 17, 1998 3:51 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Rodolfo Valeiras escribio:

> importantes: el matemático holandés Luitzen Brouwer cuando era editor de
> Mahematische Annalen, la revista matemática más importante de la época
> "declaró la guerra a los matemáticos no constructivistas rechazando
> cualquier artículo enviado para publicación que utilizase métodos no
> constructivos, infinitos o la reductio ad absurdum". Fernando Peregrín,
> nuestro especialista en historia de las matemáticas tal vez tenga algo

que
> precisar o pueda aportar algún otro dato.
++++++++++++++++++++++
Solo faltaba que alguien se tomara en serio lo de especialista en historia
de las matematicas...

Me parece muy interesante el comentario de Rodolfo, tomado del muy
recomendable libro de J.D.Barrow.

Tal vez sean oportunas un par de matizaciones.

1ª El constructivismo agrupa opciones filosóficas y metodológicas bastante
diversas:

a) el finitismo de la escuela de Hilbert
b) el intuicionismo de Brouwer y Heyting
c) y mas recientemente, el predicativismo.

2ª Todas ellas tienen en comun la no aceptacion de razonamientos que
recurren a la consideracion del infinito actual, esto es como una totalidad
acabada. En palabras llanas, los objetos no existen si no podemos
construirlos. Por ejemplo: F(x) donde x es cualquier objeto, no existe si
no tenemos un metodo para construir efectivamente un objeto a tal que
F(a) este clara y univocamenteb definido.

3ª El intuicionismo de Brouwer es anterior a los trabajos de Gödel, y se
opone principalmente a las tesis de Whitehead y Russell.

4ª El intuicionismo, al contrario que Hilbert, niega el principio del
tercio excluso, por lo que se deja sin validez en muchas ocasiones la
reduccion al absurdo.

5ª En 1932 Gödel demostro que la consistencia de la aritmetica
intuicionista es equivalente a la consistencia de la aritmetica clasica





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.