Está en la página 1de 59

ndice general

Nikoli Vasliev

1.1

Primeros aos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Aportes a la Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

ltimos aos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Geometra no euclidiana

2.1

Historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Geometras de curvatura constante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.1

Geometra hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.2

Geometra elptica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.3

Geometra eucldea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2.4

Aspectos matemticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3

Geometras de curvatura no constante

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.1

Geometra riemanniana general

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.2

Geometra del espacio-tiempo y teora de la relatividad . . . . . . . . . . . . . . . . . . .

2.4

Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5.1

Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Ernst Schrder

3.1

Aportes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2

Vida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3

Obra

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4

Inuencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.5

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.6

Enlaces externos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Lgica paraconsistente

10

4.1

Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

4.2

Las lgicas paraconsistentes son ms dbiles que las lgicas clsicas . . . . . . . . . . . . . . . . .

10

4.3

Personalidades destacadas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

4.4

Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

ii

NDICE GENERAL
4.5

Notas y referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

4.6

Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

4.7

Enlaces externos

11

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Lgica plurivalente

12

5.1

Origen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

5.2

Variantes

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

5.2.1

La lgica dialctica de Hegel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

5.2.2

Lgica polivalente de Gdel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

5.2.3

Lgica producto

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

5.2.4

Lgica polivalente y doble negacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

5.3

Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

5.4

Notas y referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

5.5

Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

5.6

Enlaces externos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

5.7

Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

Yuri Matiyasvich

14

6.1

Enlaces externos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

6.2

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

Aleksandr Zinviev

15

7.1

Bibliografa en espaol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

7.2

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

7.3

Enlaces externos

15

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Vladmir Arnold

17

8.1

Obra

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

8.2

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

8.3

Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

8.4

Literatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

8.5

Enlaces externos

18

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Mijal Grmov

19

9.1

Premios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

9.2

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

9.3

Enlaces externos

19

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10 Maksim Kontsvich

20

11 Olga Ladzhenskaya

21

11.1 Biografa
11.2 Obra

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

NDICE GENERAL

iii

12 Yuri Manin

22

12.1 Obra

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12.2 Vase tambin

22

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

12.3 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

12.4 Enlaces externos

23

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13 Grigori Margulis

24

13.1 Enlaces externos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

14 Gleb Nosovski

25

15 Andri Okunkov

26

15.1 Obra

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

15.2 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

15.3 Enlaces externos

26

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16 Grigori Perelmn

27

16.1 Biografa

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

16.2 Conjeturas de geometrizacin y de Poincar . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

16.2.1 El problema

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16.2.2 La demostracin de Perelmn

27

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

16.2.3 Vericacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

16.3 La Medalla Fields y el Premio del Milenio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

16.4 Retiro de las matemticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

16.5 Personaje literario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

16.6 Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

16.7 Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

16.8 Notas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

16.9 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

16.10Enlaces externos

32

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17 Stanislav Smirnov

33

17.1 Carrera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

33

17.2 Investigacin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

33

17.3 Premios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

33

17.4 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

33

17.5 Enlaces externos

34

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18 Vladmir Voyevodski
18.1 Biografa

35

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

35

18.2 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

35

19 Victor Zalgaller
19.1 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36
36

iv

NDICE GENERAL
19.2 Enlaces externos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36

20 Yem Zelmnov

37

21 Jan ukasiewicz

38

21.1 Biografa

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21.2 Axiomatizacin de la lgica proposicional

38

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

21.4 Notas y referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

21.5 Bibliografa adicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

21.3 Vase tambin

22 Valor de verdad

40

23 Principio del tercero excluido

41

23.1 Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

41

23.2 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

41

23.2.1 Notas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

41

24 Notacin polaca
24.1 Aritmtica

42
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42

24.2 Programacin de computadora . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

24.3 Orden de las operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

24.4 Notacin polaca en lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

24.5 Autmata de pila . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

24.6 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

24.7 Lecturas relacionadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

24.8 Vase tambin

44

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25 Escuela de Lepolis-Varsovia

45

25.1 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26 Alfred Tarski
26.1 Matemticas

45
46

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

26.2 Lgica y teora de modelos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

26.2.1 Consecuencia lgica

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47

26.3.1 Requisitos de una denicin de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . .

48

26.3.2 Esbozo de la denicin de verdad de Tarski . . . . . . . . . . . . . . . . . . . . . . . . .

49

26.3.3 Inuencia en losofa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

26.3 Teora semntica de la verdad

26.4 Vase tambin

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

26.5 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

26.6 Enlaces externos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

26.7 Text and image sources, contributors, and licenses . . . . . . . . . . . . . . . . . . . . . . . . . .

51

26.7.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

51

NDICE GENERAL

26.7.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

52

26.7.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53

Captulo 1

Nikoli Vasliev
Nikoli Aleksndrovich Vasliev en ruso:
tambin transcrito Vasil'ev, Vassilie o Wassilie (Kazn, 11 de julio de 1880
31 de diciembre de 1940) fue un lgico, lsofo,
siclogo y poeta ruso simbolista, precursor de la lgica
paraconsistente y la lgica polivalente.

Vasliev viaj entre 1912 y 1913 por Europa, principalmente por Alemania y public sus obras sobresalientes
Lgica y Metalgica y Lgica imaginaria (no-aristotlica).
Vasliev construy la lgica no-aristotlica usando los
conceptos y los mtodos de razonamiento de la lgica de
Aristteles, de los logros de la lgica matemtica y siempre estudi concienzudamente las obras de Ernst Schrder, pero no intent formalizar la lgica imaginaria.

1.1 Primeros aos

Su nico trabajo escrito en un idioma extranjero -en


ingls- un resumen conciso de su lgica imaginaria, fue
Su padre fue era un profesor de matemticas muy co- publicado en Npoles en 1924.
nocido, Aleksandr Vasliev; su abuelo fue el destacado
sinlogo Vasili Vasliev; y su bisabuelo fue el prominente
astrnomo Ivn Simnov, quien trabaj ercanamente con 1.3 ltimos aos
Nikoli Lobachevski.
En 1914, al estallar la I Guerra Mundial, Vasliev fue reclutado por el ejrcito del Zar, por lo que fue afectado
seriamente por una enfermedad mental. Sin embargo, logr volver a ensear en la Universidad de Kazn, pero en
1922 fue jubilado forzadamente, cuando apenas tena 42
Siendo estudiante, Vasliev se entusiasm con la poesa y
aos, lo cual hizo agravar su trastorno bipolar, de manera
el simbolismo; escribi y public algunos libros de versos,
que pas los siguientes 20 aos, hasta su muerte, en un
como por ejemplo, El anhelo por la eternidad. Tradujo los
hospital psiquitrico. No se sabe en qu lugar fue entepoemas de mile Verhaeren y Algernon Swinburne.
rrado.
Deseando ser siclogo, Vasliev ingres en 1906 en las
facultades de Medicina y de lologa histrica de la
Universidad de Kazn, donde le ofrecieron un cargo como docente privado.

Las ideas pioneras de Vasliev fueron redescubiertas en


1960 y conformaron la base de la lgica paraconsisten1.2 Aportes a la Lgica
te. Varios expertos consideran que su obra fue tambin
un aporte a la lgica polivalente. El estilo informal y la
Aunque Vasliev rese la Lgica de Relativos de Charles riqueza conceptual de la obra de Vasliev la hacen espePeirce en 1897, fue solo en 1908 que se dedic por com- cialmente valiosa.
pleto a la lgica.
El 18 de mayo de 1910 Vasliev dict una conferencia
(publicada en octubre del mismo ao) Sobre los Juicios
Parciales, sobre el Tringulo de opuestos y sobre la Ley
del Cuarto Excluido, en la cual por primera vez expuso la
idea de una lgica no-aristotlica, libre del principio del
tercero excluido y del principio de no contradiccin. Razonando por analoga con el de la geometra de geometra
imaginaria de Lobachevski, Vasliev llam a su nueva lgica imaginaria, para armar que era vlida en aquellos
mundos donde las leyes antedichas no se sostenan, porque los seres tenan otros tipos de sensaciones. Distingui
niveles de razonamiento lgico e introdujo la nocin de
metalgica.

1.4 Referencias
Vasiliev, N.A. Imaginary Logic. Mosc, Naka,
1989 (en ruso). ISBN 5-02-007946-4
Arruda, A.I. The Survey of Paraconsistent Logic.
En: Mathematical logic in Latin America/ Eds. Arruda A.I., Chuaqui R., Da Costa N.C.A., msterdam:
Nueva York: Oxford. North-Holland, 1980, pp.141. (en ingls)
. . . Kazn, 1904.
1

CAPTULO 1. NIKOLI VASLIEV


Bazhanov, V.A. N.A. Vasiliev (1880 1940). Mosc, Naka, 1988 (en ruso). ISBN 5-02-005953-6
Bazhanov, V.A. The Fate of One Forgotten Idea:
N.A.Vasiliev and His Imaginary Logic. En: Studies
in Soviet Thought, 1990, vol.39, N3-4, pp.333-334
(en ingls)
Bazhanov, V.A. Charles Peirces Inuence on Logical Ideas of N.A. Vasiliev. En: Modern Logic,
1992, vol. 3. N 1, pp. 48-56 (en ingls)
Bazhanov, V.A. The Origins and Emergence of
Non-Classical Logic in Russia (Nineteenth Century
until the Turn of the Twentieth Century)". En: Zwischen traditioneller und moderner Logik. Nichtklassiche Ansatze. Mentis-Verlag, Paderborn, 2001, S.205
217.ISBN 3-89785-203-9

Captulo 2

Geometra no euclidiana
2.1 Historia
El primer ejemplo de geometra no euclidiana fue
la hiperblica, teorizada inicialmente por Immanuel
Kant[cita requerida] , formalizada posterior e independienteLos tres tipos de geometras homogneas posibles, adems de la mente por varios autores a principios del siglo XIX tales
geometra euclidea de curvatura nula, existen la geometra elpti- como Carl Friedrich Gauss, Nikoli Lobachevski, Jnos
ca de curvatura positiva, y la geometra hiperblica de curvatura Bolyai y Ferdinand Schweickard.
Hyperbolic

Euclidean

Elliptic

negativa. Si se consideran geometras no-eucldeas homogneas


entonces existe una innidad de posibles geometras, descritas
por las variedades riemannianas generales.

Los desarrollos de geometras no eucldeas se gestaron


en sus comienzos con el objetivo de construir modelos
explcitos en los que no se cumpliera el quinto postulado
de Euclides.

Se denomina geometra no euclidiana o no eucldea,


a cualquier forma de geometra cuyos postulados y propiedades dieren en algn punto de los establecidos por
Euclides en su tratado Elementos. No existe un solo tipo de geometra no eucldea, sino muchos, aunque si se
restringe la discusin a espacios homogneos, en los que
la curvatura del espacio es la misma en cada punto, en
los que los puntos del espacio son indistinguibles pueden
distinguirse tres tipos de geometras:

La geometra Euclideana haba sido desarrollada por los


griegos y expuesta por Euclides en la obra Los elementos. En su primera obra publicada, "Pensamientos sobre la
verdadera estimacin de las fuerzas vivas" (Gedanken von
der wahren Schtzung der lebendigen Krfte und Beurteilung der Beweise derer sich Herr von Leibniz und anderer
Mechaniker in dieser Streitsache bedient haben) (1746),
Immanuel Kant considera espacios de ms de tres dimensiones y arma:

La geometra euclidiana satisface los cinco postulados de Euclides y tiene curvatura cero.

Una ciencia de todas estas posibles clases


de espacio sera sin duda la empresa ms elevada que un entendimiento nito podra acometer en el campo de la Geometra... Si es posible que existan extensiones con otras dimensiones, tambin es muy probable que Dios las
haya trado a la existencia, porque sus obras tienen toda la magnitud y variedad de que son capaces.

La geometra hiperblica satisface slo los cuatro


primeros postulados de Euclides y tiene curvatura
negativa.
La geometra elptica satisface slo los cuatro primeros postulados de Euclides y tiene curvatura positiva.

Esas posibles geometras que Kant entrev son las que hoy
se llaman geometras euclidianas de dimensin mayor que
Todos estos son casos particulares de geometras rieman- 3.
nianas, en los que la curvatura es constante, si se admite Por otra parte, ya desde la antigedad se consider que
la posibilidad de que la curvatura intrnseca de la geome- el quinto postulado del libro de Euclides no era tan evitra vare de un punto a otro se tiene un caso de geometra dente como los otros cuatro pues, al armar que ciertas
riemanniana general, como sucede en la teora de la rela- rectas (las paralelas) no se cortarn al prolongarlas indetividad general donde la gravedad causa una curvatura no nidamente, habla de una construccin mental un tanto
homognea en el espacio-tiempo, siendo mayor la cur- abstracta. Por eso durante muchos siglos se intent sin
vatura cerca de las concentraciones de masa, lo cual es xito demostrarlo a partir de los otros cuatro. A principercibido como un campo gravitatorio atractivo.
pios del siglo XIX, se intent demostrarlo por reduccin
3

CAPTULO 2. GEOMETRA NO EUCLIDIANA

al absurdo, suponiendo que es falso y tratando de obtener una contradiccin. Sin embargo, lejos de llegar a un
absurdo se encontr que existan geometras coherentes
diferentes de la eucldea. Se haba descubierto as la primera geometra no eucldea (en concreto el primer ejemplo que se logr era una geometra llamada hiperblica).

nor que dos rectos, se dice que subi a la cima de tres


montaas con un teodolito, aunque la precisin de sus instrumentos no fue suciente para decidir la cuestin con
tal experimento. Sin embargo, otros arman que cuando
escribi que trataba de corregir los efectos de posibles
curvaturas se refera a corregir el efecto de la curvatura
terrestre en los estudios cartogrcos que estaba realizando.

2.2 Geometras de curvatura constante


2.2.2 Geometra elptica
2.2.1

Geometra hiperblica

Modelo del disco Poincar para la geometra hiperblica con


una teselacin {3,7} de rombos truncados.

A principios del siglo XIX, y de modo independiente, Gauss (1777-1855), Lobachevsky (1792-1856), Jnos
Bolyai y Ferdinand Schweickard lograron construir la
geometra hiperblica, a partir del intento de negar el
quinto postulado de Euclides y tratar de obtener una contradiccin. En lugar de obtener una contradiccin lo que
obtuvieron fue una curiosa geometra en la que los tres
ngulos de un tringulo sumaban menos de 180 sexagesimales (en la geometra eucldea los ngulos de cualquier
tringulo suman siempre exactamente 180).

La esfera es un modelo de geometra elptica bidimensional,


los meridianos resultan ser lneas geodsicas mientras que los
paralelos son lneas de curvatura no mnima.

La geometra elptica es el segundo tipo de geometra noeucldea homognea, es decir, donde cualquier punto del
espacio resulta indistinguible de cualquier otro. Una variedad de Riemann de curvatura positiva constante es un
ejemplo de geometra elptica. Un modelo clsico de geometra elptica n-dimensional es la n-esfera.
En la geometra elptica las lneas geodsicas tienen un
papel similar a las lneas rectas de la geometra eucldea, con algunas importanes diferencias. Si bien la mnima distancia posible entre dos puntos viene dada por
una lnea geodsica, que adems son lneas de curvatura
mnima, el quinto postulado de Eucldes no es vlido para la geometra elptica, ya que dada una recta de esta
geometra (es decir, una lnea geodsica) y un punto no
contenido en la misma no se puede trazar ninguna geodsica que no corte a la primera.

La naturalidad de esta geometra qued conrmada a nales del siglo, cuando Beltrami demostr que la geometra hiperblica coincide con la geometra intrnseca de
cierta supercie y Klein dio la interpretacin proyectiva
de la geometra hiperblica. Ambos resultados prueban
que es tan consistente como la Geometra eucldea (es
decir, si la geometra hiperblica lleva a alguna contradiccin, entonces la geometra eucldea tambin).
2.2.3 Geometra eucldea
Algunos arman que Gauss fue el primero en considerar
la posibilidad de que la geometra del Universo no fuera La geometra eucldea es claramente un caso lmite interla eucldea. Sabiendo que en la geometra hiperblica medio entre la geometra elptica y la geometra hiperbla suma de los ngulos de cualquier tringulo es me- lica. De hecho la geometra eucldea es una geometra de

2.4. VASE TAMBIN

curvatura nula. Puede demostrarse que cualquier espacio


geomtrico o variedad de Riemann cuya curvatura es nula
es localmente isomtrico al espacio eucldeo y por tanto
es un espacio eucldeo o idntico a una porcin del mismo.

2.2.4

Aspectos matemticos

posible hacer experimentos de medicin de distancias y


ngulos que permitan distinguir unos puntos del espacio
de otros, tal como especican numerosos experimentos
mentales imaginados por Einstein y otros en los que un
experimentador encerrado en una caja puede realizar experimentos para decidir la naturaleza del espacio-tiempo
que le rodea.

Finalmente un aspecto interesante de la geometra riemanniana es que si la curvatura no es constante entonLos espacios de curvatura constante el tensor de curvatura
ces el grupo de isometra del espacio tiene dimensin esde Riemann viene dado en componentes por la siguiente
trictamente menor que n(n+1)/2 siendo n la dimensin
expresin:
del espacio. En concreto segn la relatividad general un
espacio-tiempo con una distribucin muy irregular de la
Rijkl = C(gil gjk gik gjl )
materia podra tener un grupo de isometra trivial de dimensin 0.
donde gij es el tensor mtrico expresado en coordenadas
curvilneas cualesquiera. En tensor de Ricci Rij y la
curvatura escalar S son proporcionales respectivamente 2.3.2 Geometra del espacio-tiempo y teoal tensor mtrico y a la curvatura:
ra de la relatividad
Rij = (n 1)Cgij ,

S = n(n 1)C

y donde n es la dimensin del espacio.


Otro aspecto interesante es que tanto en la geometra hiperblica, como en la geometra elptica homogneas el
grupo de isometra del espacio completo es un grupo de
Lie de dimensin n(n+1)/2 , que coincide con la dimensin del grupo de isometra de un espacio Euclideo de
dimensin n (aunque los tres grupos son diferentes).

2.3 Geometras de curvatura no


constante
2.3.1

Geometra riemanniana general

A propuesta de Gauss, la disertacin de Riemann vers


sobre la hiptesis de la Geometra. En su tesis, Riemann
considera las posibles geometras que innitesimalmente
(i.e. en regiones muy pequeas) sean eucldeas, cuyo estudio se conoce hoy en da como geometras riemannianas.
Estas geometras resultan en general no-homogneas: algunas de las propiedades del espacio pueden diferir de un
punto a otro, en particular el valor de la curvatura.

Basndose en la ideas y resultados de Riemann, hacia


1920 Einstein aborda en su Teora de la Relatividad general la cuestin de la estructura geomtrica del Universo.
En ella muestra cmo la geometra del espacio-tiempo
tiene curvatura, que es precisamente lo que se observa
como campo gravitatorio, y cmo, bajo la accin de la
gravedad, los cuerpos siguen las lneas ms rectas posibles dentro de dicha geometra, lneas que se denominan
geodsicas.
Adems, la Ecuacin de Einstein arma que para cada
observador, la curvatura media del espacio coincide, salvo un factor constante, con la densidad observada, dando cumplimiento as a la fantstica visin de Gauss: la
geometra desentraada por los griegos es la estructura
innitesimal del espacio; al generalizar dicha estructura
geomtrica, tiene curvatura.

2.4 Vase tambin


Geometra euclidiana
Geometra hiperblica

Geometra de Riemann
Para el estudio de estas geometras Riemann introdujo
el formalismo del tensor de curvatura y demostr que la
Geometra elptica
geometra eucldea, la geometra hiperblica y la geometra elptica son casos particulares de geometras riemanninanas, caracterizadas por valores constantes del tensor
de curvatura. En una geometra riemanninana general, el 2.5 Referencias
tensor de curvatura tendr valores variables a lo largo de
diferentes puntos de dicha geometra.
2.5.1 Bibliografa
Eso hace que la geometra no sea homognea, y permi N. A'Campoy A. Papadopoulos (2012) Notes on hyte distinguir unos puntos de otros. Esto es relevante en
perbolic geometry, in: Strasbourg Master class on
la teora de la relatividad general, ya que en principio es

CAPTULO 2. GEOMETRA NO EUCLIDIANA


Geometry, pp. 1-182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zrich: European Mathematical Society (EMS), 461 pages, SBN
ISBN 978-3-03719-105-7, DOI 10.4171/105.
Anderson, James W. Hyperbolic Geometry, second
edition, Springer, 2005
Blumenthal, Leonard M. (1980), A Modern View of
Geometry, New York: Dover, ISBN 0-486-63962-2
H. S. M. Coxeter (1942) Non-Euclidean Geometry,
University of Toronto Press, reissued 1998 by
Mathematical Association of America, ISBN 088385-522-4 .
Jeremy Gray (1989) Ideas of Space: Euclidean, NonEuclidean, and Relativistic, 2nd edition, Clarendon
Press.
Manning, Henry Parker (1963), Introductory NonEuclidean Geometry, New York: Dover
Milnor, John W. (1982) Hyperbolic geometry: The
rst 150 years, Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 924.
John Stillwell (1996) Sources of Hyperbolic Geometry, American Mathematical Society ISBN 08218-0529-0 .

Captulo 3

Ernst Schrder
los diversos sistemas actuales de lgica formal.

3.2 Vida
Schrder estudi Matemticas en Heidelberg, Knigsberg
y Zrich, bajo la tutoria de Otto Hesse, Gustav Kirchho, y Franz Neumann. Despus fue profesor por algunos aos, ense en la Universidad Tcnica de Darmstadt
en 1874; dos aos despus fue profesor en la Escuela Politcnica de Karlsruhe, cargo en el que permaneci hasta
el nal de su vida. No se cas.

3.3 Obra
Los primeros trabajos de Schrder sobre lgica y lgebra
fueron escritos cuando an no conoca las obras de los
lgicos britnicos George Boole y Augustus De Morgan,
sus fuentes eran en cambio los textos de Ohm, Hankel,
Robert y Hermann Grassmann, todos de la tradicin alemana del lgebra combinatoria y el anlisis algebraico
(Peckhaus 1997: 233-296). En 1873, Schrder estudi
las obras de Boole y De Morgan y posteriormente aport
importantes conceptos debido al estudio de Charles Peirce, incluyendo la subsumpcin y la cuanticacin.

Ernst Schrder.

Ernst Schrder ( Mannheim, 25 de noviembre de 1841


Karlsruhe, 16 de junio de 1902) fue un matemtico
alemn, conocido especialmente por sus trabajos sobre
lgica algebraica.

Schrder hizo destacadas contribuciones originales sobre


lgebra, teora de conjuntos, retculos, teora del orden
y nmeros ordinales. Junto con Georg Cantor, fue codescubridor en 1898 del Teorema de Cantor-BernsteinSchrder, cuya demostracin fue corregida por Felix
Bernstein (1878-1956).

3.1 Aportes

Schrder hizo en 1877 una concisa exposicin de las ideas


de Boole sobre lgebra y lgica, la cual sirvi para introducir la obra de Boole para los lectores continentales.
La inuencia de los Grassmann, especialmente de Robert y su poco conocida morfologa, es clara. A diferencia de Boole, Schrder apreci la dualidad. John Venn
y Christine Ladd-Franklin ambos citaron con gusto este
libro corto de Schrder, en tanto que Charles Peirce lo
utiliz como texto de enseanza en la Universidad Johns
Hopkins.

Fue una gura principal e la historia de la lgica matemtica (trmino que l generaliz), debido a que sintetiz y
difundi las obras de George Boole, Augustus De Morgan, Hugh MacColl y especialmente la de Charles Peirce. Se hizo famoso con su monumental Vorlesungen ber
die Algebra der Logik (Lecciones sobre el lgebra de la
Lgica), en 3 volmenes, que prepar el camino para el
surgimiento de la lgica matemtica como una disciplina
separada, durante el siglo XX y para la construccin de La obra maestra de Schrder, sus Lecciones sobre el lge7

CAPTULO 3. ERNST SCHRDER

3.4 Inuencia
La inuencia de Schrder se sinti primeramente en
clculo de predicados, debido principalmente a la muy
popular obra de Peirce sobre la cuanticacin y es al menos tan gande como la de Frege o Peano. La inuencia de
Schrder en los lgicos de habla inglesa del siglo XX, est
expuesta en la obra de Clarence Irving Lewis (1918). Los
conceptos relacionales que impregnan el Principia mathematica se deben en gran parte a las Lecciones, citadas
expresamente en el prefacio y en el libro de Bertrand Russell.
Frege (1960) admirador del papel de Frege para el surgimiento de la lgica matemtica, subestima el aporte
de Schrder como pionero. En contraste Hilary Putnam
(1982) destaca el papel de Schrder y Charles Peirce, sin
los cuales nunca se habra sabido de la obra de Frege y
cuyos aportes permitieron establecer la lgica matemtica.

3.5 Referencias
Fuentes primarias

Primera edicin del libro "ber die formalen Elemente der absoluten Algebra.

bra de la Lgica, fue publicada en tres volmenres, entre


1890 y 1905, a expensas del autor. El segundo volumen
tiene dos partes, la segunda de las cuales fue editada pstumamente y editada por Eugen Mller. Las Lecciones
son un tratado comprehensivo y erudito de la lgica algebraica (actualmente se dira lgica simblica) desarrollada a nales del siglo XIX, que tuvo inuencia decisiva
para el surgimiento del la lgica matemtica durante el
siglo siguiente. Las Lecciones son una produccin prlija, muy extensa y solamente una parte ha sido traducida.
Schrder dijo que su objetivo era:

Schrder, E., 1877. Der Operationskreis des


Logikkalkls. Leipzig: B.G. Teubner.
Schrder, E., 1890-1905. Vorlesungen ber die
Algebra der Logik, 3 vols. Leipzig: B.G. Teubner. Reprints: 1966, Chelsea; 2000, Thoemmes Press.
Schrder, E., 1898. "ber zwei Denitionen
der Endlichkeit und G. Cantorsche Stze ",
Abh. Kaiserl. Leop.-Car. Akad. Naturf 71:
301-362.
Otras fuentes
Brady, Geraldine, 2000. From Pierce to Skolem. North Holland. Includes an English translation of parts of the Vorlesungen.
Anellis, I. H., 1990-91, Schrder Materials at
the Russell Archives, Modern Logic 1: 237247.
Dipert, R. R., 1990/91. The life and work of
Ernst Schrder, Modern Logic 1: 117-139.

...disear la lgica como una disciplina de


clculo, especialmente to give acceso a la direccin exacta de los conceptos relativos y a
partir de all, emanciparse de las demandas rutinarias del lenguaje natural, para apartar cualquier suelo frtil del clich", tambin en el
campo de la losofa. Esto deber preparar el
terreno para lenguaje universal cientco que
sea ms un lenguaje de signos que un lenguaje
de sonidos.

Frege, G., 1960, A critical elucidation of some points in E. Schrders Vorlesungen ber
die Algebra der Logik", translated by Geach,
in Geach & Black, Translations from the philosophical writings of Gottlob Frege. Blackwell:
86-106. Original: 1895, Archiv fur systematische Philosophie 1: 433-456.
Ivor Grattan-Guinness, 2000. The Search
for Mathematical Roots 1870-1940. Princeton
University Press.

3.6. ENLACES EXTERNOS


Clarence Irving Lewis, 1960 (1918). A Survey
of Symbolic Logic. Dover.
Peckhaus, V., 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und
die Wiederentdeckung der formalen Logik im
19. Jahrhundert. Akademie-Verlag.
Peckhaus, V., 1999, 19th Century Logic between Philosophy and Mathematics, Bulletin
of Symbolic Logic 5: 433-450. Reprinted in
Glen van Brummelen and Michael Kinyon,
eds., 2005. Mathematics and the Historians
Craft. The Kenneth O. May Lectures. Springer:
203-220. Online here or here.
Peckhaus, V., 2004. Schrders Logic in
Gabbay, Dov M., and John Woods, eds.,
Handbook of the History of Logic. Vol. 3: The
Rise of Modern Logic: From Leibniz to Frege.
North Holland: 557-609.
Hilary Putnam, 1982, "Peirce the Logician,
Historia Mathematica 9: 290-301. Reprinted
in his 1990 Realism with a Human Face. Harvard University Press: 252-260. Online fragment.
Thiel, C., 1981. A portrait, or, how to tell Frege from Schrder, History and Philosophy of
Logic 2: 21-23.
Wiener, N., 1912. A comparision between the
treatment of the Algebra of relatives by Schrder and that by Whitehead and Russell. Ph.D.
diss. Harvard University.

3.6 Enlaces externos


http://intranet.woodvillehs.sa.edu.au/pages/
resources/maths/History/Schrdr.htm
O'Connor, John J.; Robertson, Edmund F.,
Biografa de Ernst Schrder (en ingls),
MacTutor History of Mathematics archive,
Universidad de Saint Andrews, http://www-history.
mcs.st-andrews.ac.uk/Biographies/Schroder.html.

Captulo 4

Lgica paraconsistente
Una lgica paraconsistente es un sistema lgico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lgica paraconsistente es un campo de
la lgica que se ocupa del estudio y desarrollo de sistemas
lgicos paraconsistentes (o tolerantes a la inconsistencia). (En este artculo el trmino es utilizado en ambas
acepciones.)

posible realizar a partir de ellas una menor cantidad de


inferencias. (Hablando estrictamente, una lgica paraconsistente puede validar inferencias que no son vlidas
segn formatos clsicos, aunque esto solo ocurre espordicamente. El punto importante es que una lgica paraconsistente nunca puede ser la extensin de una lgica
clsica, es decir, validar todo aquello que es posible validar mediante una lgica clsica.) En ese sentido, la lgica
Las lgicas tolerantes a la inconsistencia existen por lo
menos desde 1910 (y es posible argumentar que much- paraconsistente es ms conservativa o cautelosa que
una lgica clsica.
simo antes, por ejemplo en los escritos de Aristteles);
sin embargo, la palabra paraconsistente (ms all de la
consistencia) recin fue acuada en 1976, por el lsofo
4.3 Personalidades destacadas
peruano Francisco Mir Quesada.[1]
Personalidaes destacadas en la historia y /o el desarrollo
de la lgica paraconsistente son:

4.1 Denicin
En lgica clsica (como tambin en lgica intuitiva y muchos otros tipos de lgicas), las contradicciones lo implican todo. Esta curiosa caracterstica, conocida como el
principio de explosin o ex contradictione sequitur quodlibet (a partir de una contradiccin, se puede deducir cualquier cosa), se puede expresar formalmente como

Alan Ross Anderson (EE. UU., 19251973). Uno


de los fundadores de la lgica de relevancia, un tipo
de lgica paraconsistente.
F. G. Asenjo (Argentina)
Diderik Batens (Blgica)
Nuel Belnap (EE. UU., b. 1930). Trabaj con Anderson en lgica de relevancia.

A, A B
donde representa una consecuencia lgica. Por lo tanto si una teora contiene una nica inconsistencia, resulta
trivial esto es que toda expresin se entiende como un
teorema. La caracterstica distintiva de una lgica paraconsistente es que rechaza el principio de explosin. Por
lo tanto a diferencia de la lgica clsica y otros tipos de lgicas, las lgicas paraconsistentes pueden ser usadas para
formalizar teoras inconsistentes no triviales.

Jean-Yves Bziau (Francia/Suiza, b. 1965). Ha escrito en forma extensa sobre las caractersticas estructurales generales y bases loscas de las lgicas paraconsistentes.
Guillermo Pramo Rocha (Colombia) Antroplogo
que ha propuesto el anlisis de las mitologas como
formas de lgica paraconsistente.
Ross Brady (Australia)
Bryson Brown (Canad)

4.2 Las lgicas paraconsistentes


son ms dbiles que las lgicas
clsicas

Walter Carnielli (Brasil)

Debe destacarse que las lgicas paraconsistentes en general son ms dbiles que las lgicas clsicas; o sea es
10

Newton da Costa (Brasil, b. 1929). Uno de los primeros en desarrollar sistemas formales de lgica paraconsistente.
Itala M. L. D'Ottaviano (Brasil)

4.7. ENLACES EXTERNOS


J. Michael Dunn (EE. UU.). Destacado en lgica de
relevancia.
Stanisaw Jakowski (Polonia). Uno de los primeros
en desarrollar sistemas formales de lgica paraconsistente.
R. E. Jennings (Canad)
David Kellogg Lewis (USA, 19412001). Crtico de
la lgica paraconsistente.
Jan ukasiewicz (Polonia, 18781956)
Robert K. Meyer (EE. UU./Australia)
Chris Mortensen (Australia). Ha escrito numerosos
trabajos sobre matemticas paraconsistente.
Val Plumwood [formerly Routley] (Australia, b.
1939). Colaborador asiduo de Sylvan.
Graham Priest (Australia). Probablemente el ms
rme defensor actual de la lgica paraconsistente.
Francisco Mir Quesada (Per). Acu la expresin
lgica paraconsistente.
Peter Schotch (Canad)
B. H. Slater (Australia). Otro crtico de la lgica paraconsistente.
Richard Sylvan [formerly Routley] (Nueva Zelanda/Australia, 19351996). Destacado en lgica de
relevancia y colaborador frecuente con Plumwood
y Priest.
Nicolai A. Vasiliev (Rusia, 18801940). Primero
en construir una lgica tolerante a la contradiccin
(1910).

4.4 Vase tambin


Lgica difusa
Lgica relevante

4.5 Notas y referencias


[1] Priest (2002), p. 288 and 3.3.

4.6 Bibliografa
Aoyama, Hiroshi (2004). LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. Notre Dame Journal of Formal Logic 45 (4): pp. 193213.
Bertossi, Leopoldo et al., eds. (2004). Inconsistency
Tolerance. Berlin: Springer. ISBN 3-540-24260-0.

11
Bziau, Jean-Yves (2000). What is Paraconsistent
Logic?. En In D. Batens et al. (eds.). Frontiers
of Paraconsistent Logic. Baldock: Research Studies
Press. pp. 95111. ISBN 0-86380-253-2.
Bremer, Manuel (2005). An Introduction to Paraconsistent Logics. Frankfurt: Peter Lang. ISBN 3-63153413-2.
Brown, Bryson (2002). On Paraconsistency.. En
In Dale Jacquette (ed.). A Companion to Philosophical Logic. Malden, Massachusetts: Blackwell Publishers. pp. 628650. ISBN 0-631-21671-5.
Lewis, David (1998) [1982]. Logic for Equivocators. Papers in Philosophical Logic. Cambridge:
Cambridge University Press. pp. 97110. ISBN 0521-58788-3.
Priest, Graham (2002). Paraconsistent Logic.. En
In D. Gabbay and F. Guenthner (eds.). Handbook
of Philosophical Logic, Volume 6 (2nd ed. edicin).
The Netherlands: Kluwer Academic Publishers. pp.
287393. ISBN 1-4020-0583-0.
Priest, Graham and Tanaka, Koji (2001).
Paraconsistent Logic. Stanford Encyclopedia
of Philosophy (Winter 2004 edition). Consultado el
February 24 de 2006.
Slater, B. H. (1995). Paraconsistent Logics?.
Journal of Philosophical Logic 24: pp. 233254.
Woods, John (2003). Paradox and Paraconsistency:
Conict Resolution in the Abstract Sciences. Cambridge: Cambridge University Press. ISBN 0-52100934-0.
Hewitt, Carl (2007). Large-scale Organizational
Computing requires Unstratied Paraconsistency
and Reection. COIN@AAMAS'07. Consultado el
April 23 de 2007.

4.7 Enlaces externos


Stanford Encyclopedia of Philosophy Inconsistent
Mathematics
Lgica Paraconsistente y lgicas difusas - Eikasia

Captulo 5

Lgica plurivalente
Una lgica plurivalente o lgica polivalente es un
sistema lgico que rechaza el principio del tercero excluido de las lgicas bivalentes y admite ms valores de verdad que los tradicionales verdadero y falso.[1] Distintas
lgicas plurivalentes pueden admitir distintas cantidades
de valores de verdad: desde tres, hasta innito.

La lgica trivalente como la del universo de los modelos


de Kripke que contienen tres mundos posibles. Otras
lgicas se proponen como polivalentes o n-valentes, de n
mundos o un nmero innito de mundos posibles.

5.1 Origen

El acto mismo del conocimiento es la introduccin de la


contradiccin. El principio del tercero excluido, algo o
es A o no es A, es la proposicin que quiere rechazar la
contradiccin y al hacerlo incurre precisamente en contradiccin: A debe ser +A -A, con lo cual ya queda introducido el tercer trmino, A que no es ni + ni - y por lo
mismo es +A y -A. Algo es ello mismo y es otro, porque
en realidad todo cambia continuamente y la misma cosa
se transforma en otra cosa. Es una lgica del movimiento,
la transicin y la transformacin.

Las lgicas polivalentes se difundieron especialmente a


partir de los trabajos de los lsofos polacos Jan ukasiewicz y Emil Post y sus relaciones con la fsica cuntica, pero fueron expuestas anteriormente, con diferentes enfoques, por Hegel, Hugh MacColl, Charles Sanders
Peirce y Nicolai A. Vasiliev. Stephen Kleene elabor las
tablas de verdad para un sistema de lgica trivalente. Un
ejemplo para ilustrar la trivalenecia en fsica ha sido la
paradoja del gato de Schrdinger.

5.2.1 La lgica dialctica de Hegel

5.2.2 Lgica polivalente de Gdel


Formula lo siguiente::

5.2 Variantes

x AND z = min(v(x), v(z))

Pueden considerarse como polivalentes:

x OR z = max(v(x), v(z))
la lgica dialctica de Hegel

NOT x = 1siv(x) = 0 y 0 de otro modo.

la lgica trivalente para valores innitos de ukasiewicz


5.2.3

Lgica producto

la lgica modal, especialmente los modelos de Formula lo siguiente::


Kripke, que denen tres modelos de verdad: lo verdadero, lo falso y lo problemtico
x AND z = v(x)v(z)
la lgica difusa de Zadeh, que enfatiza en la incertix OR z = v(x) + v(z) v(x)v(z)
dumbre y es una lgica de la posibilidad
NOT x = 1 si v(x) = 0 y 0 de otro modo.
la lgica polivalente de Gdel, a partir de su teorema
de la incompletitud

5.2.4 Lgica polivalente y doble negacin

la lgica intuicionista desarrollada por Brouwer, que


restringe la validez de la lgica clsica a lo demos- Es interesante observar como en las lgicas de Gdel y
producto, al igual que en la lgica intuicionista, se niega
trable
el principio de la doble negacin con el n de mantener
la logica producto, tetravalente
la validez del principio de no contradiccin.
12

5.6. ENLACES EXTERNOS


En particular, a causa de la particular denicin del operador NOT se verica que:

13
Velarde Lombraa, Julin (1989) Historia de la lgica. Universidad de Oviedo, p.p. 409-417. ISBN
84-7468-186-3

A A es un teorema
A A no es un teorema.
A A es un teorema.
A A es un teorema.

5.3 Vase tambin


Lgica difusa

5.6 Enlaces externos


Lgica polivalente (Recop.) Justo Fernndez Lpez.
Stanford Encyclopedia of Philosophy:Many-Valued
Logic, por Siegfried Gottwald. (en ingls)
Stanford Encyclopedia of Philosophy: Fuzzy logic
(en ingls)

Lgica bivalente
Principio de incertidumbre

5.7 Vase tambin


Sistema formal

5.4 Notas y referencias


[1] Siegfried, Gottwald, Many-Valued Logics, en Edward
N. Zalta (en ingls), Stanford Encyclopedia of Philosophy
(Spring 2009 Edition edicin), http://plato.stanford.edu/
archives/spr2009/entries/logic-manyvalued/, consultado
el 11 de octubre de 2009

Lgica
Lgica matemtica
Lgica bivalente
Lgica trivalente
Lgica difusa

5.5 Bibliografa
Gdel, K. (1932): Zum intuitionistischen Aussagenkalkl, Anzeiger Akademie der Wissenschaften
Wien, Math.-naturwiss. Klasse 69, 65-66.
Gottwald, S. (2001) A Treatise on Many-Valued
Logics"; Studies in Logic and Computation, vol. 9,
Research Studies Press Ltd., Baldock.
Hegel, G. (1812- 1816) La Ciencia de la Lgica";
Filosofa de la Lgica y la naturaleza, traduccin de
E. Ovejero y Maury. Buenos Aires: Editorial Claridad, 1969, p.p. 110-114.
Kleene, S.C. (1938) On notation for ordinal numbers"; Journal Symbolic Logic 3: 150-155.
Kripke, S.A. (1975) Outline of a theory of truth";
Journal of Philosophy 72: 690-716.
ukasiewicz, J. (1920) O logice trojwartosciowej";
Ruch Filozocny 5: 170-171.
Post, E. L. (1920) Determination of all closed systems of truth tables"; Bulletin American Mathematical Society 26: 437.
Introduction to a general theory of elementary
propositions"; American Journal Mathematics
43: 163-185.

Captulo 6

Yuri Matiyasvich
6.1 Enlaces externos
Home page at the PDMI
Hilberts Tenth Problem: a History of Mathematical
Discovery

6.2 Referencias
Yuri Matiyasvich Hilberts 10th Problem Foreword
by Martin Davis and Hilary Putnam, The MIT Press.
ISBN-10: 0-262-13295-8

Yuri Matiyasvich

Yuri
Vladmirovich
Matiyasvich,
(
, Leningrado, 2 de
marzo de 1947) es un matemtico ruso. En 1964 obtuvo
el primer premio de la 6 Olimpiada Internacional de
Matemtica que tuvo lugar en Mosc.
Matiyasvich se gradu en el Departamento de
Matemticas y Mecnica de la Universidad Estatal
de Leningrado en 1969. Es muy conocido por su
solucin negativa del dcimo problema de Hilbert, presentada en su tesis doctoral, en LOMI, el Departamento
de Leningrado del Instituto de Matemticas Steklov.
En 1997 fue seleccionando para la Academia rusa de las
Ciencias. Actualmente dirige el Laboratorio de Lgica
Matemtica en LOMI, el cual se conoce como el Departamento de Petersburgo del Instituto de Matemticas de
Steklov de la Academia Rusa de las Ciencias, o el PDMI
RAS.
14

Captulo 7

Aleksandr Zinviev
Aleksandr Aleksndrovich Zinviev,
(29 de septiembre de 1922
- 10 de mayo de 2006), fue un lsofo, socilogo y
novelista ruso. Completamente crtico con la URSS en
su momento, tras su disolucin cambi radicalmente de
postura, convirtindose en defensor del comunismo, y
tambin de Lenin y Stalin.

7.1 Bibliografa en espaol

Aleksandr Zinviev naci en un pequeo pueblo, y se


traslad posteriormente con sus padres a Mosc. Durante
su infancia vivi en la pobreza.

La cada del imperio del mal (1999)

Zinviev comenz a estudiar losofa en el Instituto de


Filosofa, Literatura e Historia en 1939, pero pronto fue
expulsado por su oposicin a la colectivizacin forzosa.
Ingres en el ejrcito sovitico y particip en la II Guerra Mundial como piloto y conduciendo un tanque. Tras
la guerra, comenz a escribir novelas que no public, y
naliz sus estudios universitarios. Durante las siguientes dcadas, fue uno de los ms brillantes lgicos de la
URSS.

Cumbres abismales (1979)


Radiante porvenir (1980)
Homo Sovieticus (1982)

7.2 Referencias
Alexander Zinoviev As Writer and Thinker: An
Assessment by Michael Kirkwood (Editor), Philip Hanson (Editor). Publisher: Palgrave Macmillan, 1988. 207 p. ISBN 0312015429 ISBN 9780312015428
Alexandr Zinoviev, Cumbres Abismales 1. ISBN
8474900204, ISBN 978-8474900200.

Aleksandr Zinviev public varios artculos y libros sobre


lgica (especialmente lgica polivalente) y metodologa
de la ciencia.
Su novela Cumbres abismales fue publicada en Suiza en
1976. Fue expulsado de la URSS tras la publicacin de su
siguiente novela, Radiante Porvenir, en la que criticaba a
Brezhnev, y que fue publicada en 1978. Se estableci en
Mnich.

Alexandr Zinoviev, Cumbres Abismales 2. ISBN


8474900344, ISBN 978-8474900347.

7.3 Enlaces externos

A comienzos de los aos 90 hizo una gran transformacin, y apareci como el crtico ms radical de las reformas de Bors Yeltsin, hasta el punto de considerar
que ste y Gorbachov eran agentes occidentales. En 1996
apoy pblicamente a Guennadi Ziugnov, candidato del
Partido Comunista de la Federacin Rusa que posteriormente perdera frente a Bors Yeltsin.
Asimismo, apoy al poltico serbio Slobodan Miloevi,
al cual visit en los 90, y al que consideraba un luchador contra los occidentalizadores. Lider el Comit Internacional para la Defensa de Slobodan Miloevi; tras
la muerte de Zinviev en marzo de 2006, se desconoce el
futuro de la organizacin.

15

Pgina dedicada a Aleksandr Zinviev (principalmente en ruso, con informacin en ingls y francs)
Obras de Zinviev en lnea (Ruso)
Entrevista a Zinviev (1) (realizada por Xavier Cheneseau)
Entrevista a Zinviev (2) (para la publicacin Pravda)
Entrevista (realizada por Antonio Ortiz)
En francs : Fabrice Fassio, Il y a 20 ans : le dbat
Zinoviev-Eltsine , voltairenet.org, juin 2010 http:
//www.voltairenet.org/article166584.html En espaol: En el 20 aniversario del debate entre Zinoviev y
Yeltsin por Fabrice Fassio, Rebelin Cultura 30-082010

16

CAPTULO 7. ALEKSANDR ZINVIEV

en portugus : Fabrice Fassio, A Russia


no
mau
lado
da
historia
http:
//aviagemdosargonautas.net/2014/04/09/
de-novo-a-ucrania-da-economia-a-geopolitica-a-russia-no-mau-lado-da-historia-por-fabrice-fassio/
. En francs: la Russie du mauvais ct de l'Histoire
http://www.comite-valmy.org/spip.php?article4397

Captulo 8

Vladmir Arnold
Vladmir gorevich Arnold (ruso:
, 12 de junio de 1937 en Odesa,
Ucrania 3 de junio de 2010 en Pars) fue uno de los
matemticos ms prolcos del mundo.
Entr a estudiar en la Facultad de matemticas y mecnica de la Universidad de Mosc en 1954, donde permaneci hasta 1986, ao en que ingres en el Instituto
Matemtico Steklov de Mosc. En marzo de 1968 rm,
junto con otros 98 colegas, la Carta de los 99 (
), una carta de protesta por el encarcelamiento en un manicomio de un matemtico sovitico perfectamente cuerdo, Aleksandr Esenin-Volpin, hijo de Sergui Yesenin y vctima de la psiquiatra represiva en la Unin Sovitica. Esto trajo como consecuencia
la denegacin de permiso para viajar al extranjero hasta
la perestroika1 .
Aunque es ms conocido por el teorema de KolmogrovArnold-Moser respecto a la estabilidad de los sistemas
hamiltonianos integrables, ha hecho importantes contribuciones en varias reas que incluyen teora de sistemas
dinmicos, teora de las catstrofes, topologa, geometra
algebraica, mecnica clsica y teora de la singularidad en
una carrera que abarca ms de 45 aos despus de su primer resultado principal - la solucin del problema trece
de Hilbert en 1957.

con Avez Ergodic problems of classical mechanics,


New York, Benjamin 1968
Topological methods in hydrodynamics, Springer
1998
Geometrische Methoden in der Theorie der gewhnlichen Dierentialgleichungen, ISBN 3-7643-1879-1
Arnolds problems, 2 ed. Springer 2004 (con lista de
problemas a partir de 2002 se encuentra en su pgina
de inicio)
Mathematics - frontiers and perspectives, Am. Mathematical Soc. 2000
Catastrophe theory, 3 ed. Springer 1993
Bifurcation theory and catastrophe theory, 2 ed.
Springer 1999
Singularities of caustics and wave fronts, Kluwer
1990
mit Varchenko, Gusein-Zade: Singularities of Dierentiable Maps, 2 vols. Birkhuser 1985, 1988

8.1 Obra
Collected Works, Bd.1 (Representations of functions, celestial mechanics, KAM-Theory 19571965), Springer 2009
Yesterday and long ago, Springer 2007 (memorias)
Vorlesungen ber partielle Dierentialgleichungen,
Springer 2004, ISBN 3-540-43578-6
Gewhnliche Dierentialgleichungen, 1980, 2.Au.,
Berlin, Springer 2001, ISBN 3-540-66890-X (1973,
MIT press)

Topological invariants of plane curves and caustics,


Am. Mathematical Soc. 1994
Huygens und Barrow, Newton und Hooke, Birkhuser 1990
From Hilberts Superposition problem to Dynamical systems, American Mathematical Monthly, August/September 2006 (berblick ber seinen mathematischen Werdegang, Vorlesung Toronto 1997,
online hier:, auch in Bolibruch, Osipov, Sinai (Herausgeber)

Mathematische Methoden der klassischen Mechanik,


Birkhuser 1988, ISBN 3-7643-1878-3 (ingl. 2 Mathematical Events of the Twentieth Century, Springer
e.1989, Springer, Graduate texts in mathematics)
2006, pp. 19)
17

18

CAPTULO 8. VLADMIR ARNOLD

Arnold es editor y coautor de la serie Encyclopedia


of mathematical sciences en Springer Verlag (u.a.
in der Reihe Dynamische Systeme)
Dynamical systems, in Jean-Paul Pier (ed.) Development of mathematics 1950-2000, Birkhuser 2000
Singularity theory, in Jean-Paul Pier (ed.) Development of mathematics 1950-2000, Birkhuser 2000

8.2 Referencias
1. Rodrguez Suanzes, Pablo (17 de junio de 2010).
Obituarios. El Pas., pg. 24.

8.3 Vase tambin


Teora de las catstrofes

8.4 Literatura
Bierstone (ed.) The Arnoldfest, American Mathematical Society 1999 (conferencia de Arnolds
60.Geburtstag in Toronto 1997)
Smilka Zdravkovska. Conversation with Vladimir
Igorevich Arnold, Mathematical Intelligencer, vol. 9,
1987, N 4, pp.28 (entrevista)

8.5 Enlaces externos


Necrolgica de Manuel de Len

Wikimedia Commons alberga contenido multimedia sobre Vladmir Arnold. Commons

Captulo 9

Mijal Grmov
Mijal Leondovich Grmov (translitera al ruso cirlico
(n. 23 de diciembre de
1943, tambin conocido como Mikhael Gromov, Michael
Grmov, o Misha Grmov) es un matemtico ruso conocido por sus importantes contribuciones en diversas reas
de las matemticas. Se considera un gemetra en un sentido muy amplio de la palabra.

Premio Bolyai en 2005.


Premio Abel en 2009.

9.2 Referencias
Gromov Receives Nemmers Prize AMS Notices,
vol. 51, number 7

En la teora geomtrica de grupos, cre el concepto de


grupo hiperblico; topologa simplctica, donde present curvas pseudoholomrcas, y en geometra riemanniana. Su obra, sin embargo, se ha desarrollado en el
anlisis y el lgebra, cuando los problemas consienten una
formulacin geomtrica. Por ejemplo, su principio h en
relaciones diferenciales es la base de una teora geomtrica de ecuaciones diferenciales parciales.
Mijal Grmov estudi para un doctorado (1973) en
Leningrado, donde fue un estudiante de Vladimir Abramovich Rokhlin. En la actualidad, es miembro permanente del IHS, y profesor Jay Gould de Matemticas en
la Universidad de Nueva York.

Marcel Berger, Encounter with a Geometer, Part I,


AMS Notices, Volume 47, Number 2
Marcel Berger, Encounter with a Geometer, Part II,
AMS Notices, Volume 47, Number 3

9.3 Enlaces externos

9.1 Premios
Premio de la Sociedad Matemtica de Mosc en
1971.
Premio Oswald Veblen en Geometra de la (AMS)
en 1981.
Premio Elie Cartan de l'Academie des Sciences de
Paris en 1984.
Premio de l'Union des Assurances de Paris en 1989.
Premio Leroy Steele (AMS) en 1997.
Premio Wolf en Matemticas en 1993.
Medalla Lobachevsky en 1997.
Premio Balzan en matemtica en 1999.
Premio Kyoto en ciencias matemticas en 2002.
Premio Nemmers en Matemticas en 2004.
19

Esta obra deriva de la traduccin de Mikhail Gromov de la Wikipedia en ingls, publicada por sus
editores bajo la Licencia de documentacin libre de
GNU y la Licencia Creative Commons AtribucinCompartirIgual 3.0 Unported.
Mijal Grmov en el Mathematics Genealogy Project.

Captulo 10

Maksim Kontsvich
Este premio fue establecido en 2002 por el magnate y
lntropo de Hong Kong, Shao Yifu. Se otorga a cientcos que han hecho importantes contribuciones a la astronoma, matemticas y ciencias naturales.

Maksim Kontsvich.

Maksim Lvvich Kontsvich,en ruso


(Chimki, 25 de agosto de 1964),
es un matemtico ruso. Recibi la Medalla Fields en
1998, el 23 Congreso Internacional de Matemticos
de Berln. Es PhD por la Universidad de Bonn. Su tesis
prueba una conjetura de Edward Witten: dos modelos
gravitacionales quantum son equivalentes. Actualmente
es profesor en el Institut des hautes tudes scientiques
en Bures-sur-Yvette al sur de Pars. Gan la medalla
Fields por su contribucin a los cuatro problemas de la
geometra.
El matemtico ruso Maxim Kontsevich ha sido galardonado con el prestigioso Premio Shaw en 2012, por el estudio de la simetra especular, una nueva interaccin entre
el lgebra y la geometra.
20

Captulo 11

Olga Ladzhenskaya
Olga
Aleksndrovna
Ladshenskaya
( 11.2 Obra
) Kologrive, 7 de
marzo de 1922 - San Petersburgo, 24 de enero del 2004. Olga Ladzhenskaya escribi ms de 250 trabajos soMatemtica rusa.
bre matemticas. Su obra cubre un amplio espectro desde las ecuaciones diferenciales parciales, pasando por las
ecuaciones hiperblicas hasta las ecuaciones diferenciales generadas por funciones simtricas de los valores propios (eigenvalues) de Hessian. Tambin se interes por la
unicidad en la convergencia de las series de Fourier o soluciones mediante la aproximacin por diferencias nitas.
Desarroll el tratamiento funcional analtico de proble11.1 Biografa
mas no lineales estacionarios mediante la teora de grados
de Leray-Schauder.
Naci el 7 de marzo de 1922 en Kologrive, donde su pa- Sus estudios sobre ecuaciones diferenciales, ecuaciones
dre, Aleksandr Ivnovich Ladzhenski, era profesor de de Navier-Stokes, han contribuido enormemente al desamatemticas; su padre supo transmitirle, sin duda el amor rrollo de las investigaciones en otros campos cienta las matemticas. Pertenecientes a una familia de la ba- cos entre los que cabra destacar el de los pronsticos
ja nobleza rural, Aleksandr Ladzhenski fue depurado y meteorolgicos, la aerodinmica, la oceanografa y la
arrestado por el rgimen de Stalin en 1937; en juicio su- medicina cardiovascular.
marsimo fue declarado enemigo del pueblo de Rusia
y condenado a muerte. Las dos hermanas de Olga fue- Adems de los trabajos mencionados public:
ron expulsadas de la escuela, pero a Olga se le permiti
The mathematical theory of viscous incompressible,
terminar sus estudios.
Gordon and Breach, New York-London, 1963 (soA pesar de ello Olga tuvo problemas para continuar con
bre hidrodinmica)
su formacin ya que era la hija de un enemigo del pueblo. En 1939 haba obtenido unos excelentes resultados
Attractors for semigroups and evolution equations,
en los exmenes de ingreso en la Universidad de LeninCambridge University Press, 1991.
grado, sin embargo no fue admitida. Tras un breve periodo en la Escuela Normal de Leningrado (1939-1941), Olga volvi a su ciudad natal donde ense matemticas en
la misma escuela que haba enseado su padre. Admitida
nalmente en 1943 en la Universidad de Mosc, gracias a
la intervencin personal de la madre de una alumna, inici
sus estudios de matemticas. En 1951 haba completado
su tesis, sin embargo, no pudo defenderla hasta pasada la
muerte de Stalin, en 1953. Finalmente en 1954 fue nombrada profesora titular de la Universidad de Leningrado y
en 1961 directora del Laboratorio de Matemticas y Fsica del Instituto Steklov. Fue asimismo presidenta de la
Sociedad Matemtica de San Petersburgo y miembro de
nmero de la Academia de Ciencias de Rusia.
Mantuvo una estrecha amistad con Aleksandr Solzhenitsyn y con la poetisa Anna Ajmtova lo que le acarre
enemistades con las autoridades soviticas.
21

Captulo 12

Yuri Manin
Yuri Ivanovitch Manin (en ruso:
) (Simferopol Unin Sovitica 1937) es un
matemtico ruso-alemn,[1] conocido por trabajar en la
geometra algebraica y la geometra diofntica, y en muchas obras que van desde la lgica matemtica a la fsica
terica.
Manin obtuvo su doctorado en 1960 en el Instituto de
Matemticas Steklov como un estudiante de Igor Shafarevich. En la actualidad, es profesor y Director del MaxPlanck-Institut fr Mathematik en Bonn, y profesor en la
Universidad de Northwestern.
Su trabajo se ha desenvuelto en varios campos de la matemtica y geometra. Tambin ha escrito sobre la teora
Yang-Mills, la informacin cuntica, y la simetra especular.
Manin ha tenido ms de 40 estudiantes de doctorado, incluyendo Alexander Beilinson, Vladimir Drinfeld,
Vyacheslav Shokurov y Victor Kolyvagin. Fue galardonado con el Premio Schock en 1999 y la Medalla Cantor
en 2002. En 1994, fue galardonado con el Premio Nemmers en Matemticas.

Topics in non-commutative geometry, Princeton University Press 1991[3]


Gauge eld theory and complex geometry. Springer 1988 (Grundlehren der mathematischen
Wissenschaften)[4]
Cubic forms - algebra, geometry, arithmetics, North
Holland 1986
A course in mathematical logic, Springer 1977[5]
The provable and the unprovable (en ruso), Mosc
1979
The decidable and the undecidable (en ruso), Mosc
1980
Mathematics and physics, Birkhuser 1981
New dimensions in geometry. in Arbeitstagung Bonn
1984, Lectures Notes in Mathematics Vol. 1111,
Springer Verlag
------, Alexei Ivanovich Kostrikin. Linear algebra
and geometry, Gordon and Breach 1989
------, Sergei Gelfand. Homological algebra, Springer 1994 (Encyclopedia of mathematical sciences).

12.1 Obra
Selected works with commentary, World Scientic
1996
Mathematics as metaphor - selected essays, American Mathematical Society 2009
Rational points of algebraic curves over function
elds. AMS translations 1966 (Mordell conjecture
for function elds)
Algebraic topology of algebraic varieties. Russian
Mathematical Surveys 1965
Modular forms and Number Theory. International
Congress of Mathematicians, Helsinki 1978

------, Sergei Gelfand. Methods of Homological algebra, Springer 1996


------, Igor Kobzarev. Elementary Particles: mathematics, physics and philosophy, Dordrecht, Kluwer,
1989 (texto introductorio)
------, Alexei A. Panchishkin. Introduction to Number theory, Springer Verlag 1995, 2 ed. 2005
Manin Moduli, Motives, Mirrors, 3. European Congress Math. Barcelona 2000, Plenary talk
Manin Classical computing, quantum computing and
Shors factoring algorithm, Bourbaki Seminar 1999
Manin Von Zahlen und Figuren 2002

Frobenius manifolds, quantum cohomology, and moduli spaces, American Mathematical Society 1999[2]

Manin, Mathilde Marcolli Holography principle and


arithmetic of algebraic curves, 2002

Quantum groups and non commutative geometry,


Montreal, Centre de Recherches Mathmatiques,
1988

Manin 3-dimensional hyperbolic geometry as


innite-adic Arakelov geometry, Inventiones
Mathematicae 1991

22

12.4. ENLACES EXTERNOS

12.2 Vase tambin


Conjetura Manin-Mumford
Obstruccin de Manin

12.3 Referencias
[1] CURRICULUM VITAE at Max-Planck-Institut fr Mathematik website
[2] Getzler, Ezra (2001). Review: Frobenius manifolds,
quantum cohomology, and moduli spaces by Yuri I. Manin. Bull. Amer. Math. Soc. (N.S.) 38 (1): pp. 101108.
doi:10.1090/S0273-0979-00-00888-0.
[3] Penkov, Ivan (1993). Review: Topics in non-commutative
geometry by Yuri I. Manin. Bull. Amer. Math. Soc.
(N.S.) 29 (1): pp. 106111. doi:10.1090/S0273-09791993-00391-4.
[4] LeBrun, Claude (1989). Review: Gauge eld theory and
complex geometry by Yuri I. Manin; trans. by N. Koblitz
and J. R. King. Bull. Amer. Math. Soc. (N.S.) 21 (1): pp.
192196. doi:10.1090/S0273-0979-1989-15816-3.
[5] Shoeneld, J. R. (1979). Review: A course in mathematical logic by Yu. I Manin. Bull. Amer. Math.
Soc. (N.S.) 1 (3): pp. 539541. doi:10.1090/s02730979-1979-14613-5.
http://www.ams.org/journals/
bull/1979-01-03/S0273-0979-1979-14613-5/
S0273-0979-1979-14613-5.pdf.

12.4 Enlaces externos

Wikimedia Commons alberga contenido multimedia sobre Yuri Manin. Commons

Yuri Manin en el Mathematics Genealogy Project.


Manins page at Max-Planck-Institut fr Mathematik website
Good Proofs are Proofs that Make us Wiser, interview by Martin Aigner and Vasco A. Schmidt
The Pontical Academy of Sciences. Yuri Ivanovich
Manin
O'Connor, John J.; Robertson, Edmund F.,
Biografa de Yuri Manin (en ingls), MacTutor
History of Mathematics archive, Universidad
de Saint Andrews, http://www-history.mcs.
st-andrews.ac.uk/Biographies/Manin.html.

23

Captulo 13

Grigori Margulis
greso considerable con el mtodo del crculo de HardyLittlewood; pero para reducir el nmero de variables hasta el punto de obtener los mejores resultados posibles, los
mtodos ms estructurales de la teora de grupos resultaron ser decisivos.
Ha formulado otro programa de investigacin en la misma
direccin, que incluye la conjetura de Littlewood. Esto ha
tenido una extensa inuencia.
En 2005, Margulis recibi el Premio Wolf por sus contribuciones a la teora de retculos, las aplicaciones a la
teora ergdica, la teora de representacin, la teora de
nmeros, la combinatoria y la teora de la medida.
Grigori Margulis

Grigori Aleksndrovich Margulis (el nombre a menudo escrito Gregory o Grigory) (nacido el 24 de febrero de 1946) es un matemtico conocido por su trabajo de gran alcance sobre retculos en los grupos de Lie,
y la introduccin de mtodos de la teora ergdica para aproximaciones diofantinas. Se le otorg una Medalla
Fields en 1978 y un Premio Wolf en matemtica en 2005,
convirtindose en el sptimo matemtico en recibir ambos premios.

13.1 Enlaces externos

Naci en una familia juda en Mosc, URSS. Estudi en


la Universidad Estatal de Mosc, comenzando una investigacin sobre la teora ergdica bajo la supervisin de
Ykov Sini. Los primeros trabajos con David Kazhdan
produjeron el teorema de Kazhdan-Margulis, un resultado bsico en los grupos discretos. Su teorema de la superigidez de 1975 aclar una rea completa de conjeturas clsicas sobre la caracterizacin de grupos aritmticos
entre retculos en grupos de Lie.
Se le concedi la Medalla Fields en 1978, pero no se le
permiti viajar a Helsinki para aceptarla en persona. Su
posicin mejor, y en 1979 visit Bonn, y ms tarde pudo
viajar libremente, aunque segua trabajando en un instituto tcnico en vez de un departamento de matemtica. En
1991 obtuvo una posicin de profesor en la Universidad
de Yale.
En 1986, Margulis complet la demostracin de la conjetura de Oppenheim con formas cuadrticas y aproximaciones diofantinas. Esta era una cuestin que haba estado abierta durante medio siglo, donde se hizo un pro24

O'Connor, John J.; Robertson, Edmund F.,


Biografa de Grigori Margulis (en ingls),
MacTutor History of Mathematics archive,
Universidad de Saint Andrews, http://www-history.
mcs.st-andrews.ac.uk/Biographies/Margulis.html.
Grigori Margulis en el Mathematics Genealogy Project

Captulo 14

Gleb Nosovski
Gleb Vladmirovich Nosovski (
). Matemtico ruso. Naci en 1958. Obtuvo
el grado de Candidato a doctor en ciencias fsicas y matemticas por la Universidad Estatal de Mosc Lomonsov en 1988. Es especialista en teora de las probabilidades, estadstica matemtica, teora de procesoso aleatorios, teora de la optimizacin, ecuaciones diferenciales
estocsticas, simulacin computacional de procesos estocsticos. Trabaj en el Instituto de Investigaciones Csmicas (Mosc) y en el Instituto de Herramientas e Instrumentos de Mosc. Form parte del equipo que trabaj en
Japn en el marco del proyecto de colaboracin cientca entre la Universidad Lomonsov y la Universidad de
Aizu en el rea de geometra computacinal.
En la actualidad trabaja con el grado de cientco principal en el laboratorio de mtodos computacionales del
departamento de geometra diferencial y sus aplicaciones de la Facultad de Mecnica Terica y Matemtica de
la Universidad Lomonsov. Asimismo, forma parte del
equipo que est desarrollando la ruidosa Nueva Cronologa dirigido por Anatoli Fomenko.

25

Captulo 15

Andri Okunkov
Thomas sobre las tablas.
Okunkov tiene, al menos, un nmero de Erds de tres,
conseguidos a travs de las sucesivas colaboraciones de
Paul Erds con Anatoli Vershik, este con Gregori Freiman y nalmente, Freiman con Okunkov.

15.2 Referencias
[1] Information about Andrei Okounkov, Fields Medal winner, ICM Press Release

15.3 Enlaces externos

Andri Okunkov

Andri Yrievich Okunkov (en ruso:


) (nacido en 1969) es un matemtico
ruso que trabaja en representaciones de grupo y en sus
aplicaciones a la geometra algebraica, fsica matemtica,
teora de probabilidad y funciones especiales.
Se doctor en la Universidad Estatal de Mosc en 1995,
siendo alumno de Aleksandr Kirlov. Ha sido profesor de
la Universidad de Princeton desde 2002, y fue anteriormente profesor asistente de la Universidad de Berkeley.
En el ao 2006, durante el XXV Congreso Internacional
de Matemticos, celebrado en Madrid, Espaa, recibi la
Medalla Fields por sus contribuciones a la unin entre la
probabilidad, la teora de la representacin y la geometra
algebraica.[1]

15.1 Obra
Okunkov ha trabajado en campos tales como la teora de
grupos simtricos innitos, las estadsticas de particiones
de planos y la cohomologa cuntica del esquema de Hilbert de los puntos en un plano complejo. La mayor parte
de sus trabajos sobre esquemas de Hilbert fueron realizados en colaboracin con Rahul Pandharipande.
Ambos, junto con Nikita Nekrsov y Davesh Maulik, formularon las famosas conjeturas acerca de las invariantes
de Grmov-Witten y las invariantes de Donaldson26

Antigua pgina de Andri Okunkov en Berkeley


Cita del EMS Prize 2004
Cita de la Medalla Fields
Artculos de Andrei Okounkov en Arxiv
Historia del Daily Princetonian
BBC Historia

Captulo 16

Grigori Perelmn
Grigori Grisha Ykovlevich Perelmn (en ruso:
), nacido el 13 de junio de 1966 en Leningrado, URSS (actualmente San Petersburgo, Rusia), es un matemtico ruso que ha hecho
contribuciones histricas a la geometra riemanniana y a
la topologa geomtrica. En particular, ha demostrado la
conjetura de geometrizacin de Thurston, con lo que se
ha logrado resolver la famosa conjetura de Poincar, propuesta en 1904 y considerada una de las hiptesis matemticas ms importantes y difciles de demostrar.
En agosto de 2006 se le otorg a Perelmn la Medalla
Fields[1] por sus contribuciones a la geometra y sus ideas
revolucionarias en la estructura analtica y geomtrica del
ujo de Ricci. La Medalla Fields es considerada el mayor honor que puede recibir un matemtico. Sin embargo, l declin tanto el premio como asistir al Congreso
Internacional de Matemticos.
El 18 de marzo de 2010, el Instituto de Matemticas Clay
anunci que Perelmn cumpli con los criterios para recibir el primer premio de los problemas del milenio de un
milln de dlares,[2] por la resolucin de la conjetura de
Poincar.[3] Tras rechazar dicho premio, declar:
No quiero estar expuesto como un animal
en el zoolgico. No soy un hroe de las matemticas. Ni siquiera soy tan exitoso. Por eso no
quiero que todo el mundo me est mirando.

Ciencia (el equivalente ruso del doctorado) en la Facultad de Mecnica y Matemtica de la Universidad Estatal
de Leningrado, una de las universidades lderes de la ex
Unin Sovitica. Su tesis se intitul Supercies en silla en
espacios eucldeos (ver citas ms abajo). Era tambin un
virtuoso violinista y jugaba al tenis de mesa.[5]
Despus de la graduacin, Perelmn comenz a trabajar
en Leningrado en el renombrado Instituto Steklov de Matemticas de la Academia Rusa de las Ciencias. Sus asesores en ese instituto fueron Aleksandr Danlovich Aleksndrov y Yuri Dmitrievich Burago. Al nal de los ochenta y principios de los noventa, Perelmn trabaj en varias
universidades de los Estados Unidos. En 1992, fue invitado a pasar sendos semestres en la Universidad de Nueva York y en la Universidad de Stony Brook. En 1993
acept una beca de dos aos en la Universidad de California, Berkeley. Volvi al Instituto Steklov en el verano
de 1995.

16.2 Conjeturas de geometrizacin


y de Poincar
Hasta 2002, Perelmn era ms conocido por su trabajo
en teoremas de comparacin en geometra riemanniana.
Entre sus notables logros estaba la demostracin de la
conjetura de Soul.

16.1 Biografa

16.2.1 El problema

Grigori Perelmn naci en Leningrado (ahora San Petersburgo) el 13 de junio de 1966 en el seno de una familia juda. Recibi su primera educacin matemtica en el
Liceo 239 de Leningrado, una escuela especializada con
programas de matemticas y fsica avanzadas. En 1982,
compitiendo como miembro del equipo de la URSS en
la Olimpiada Internacional de Matemtica una competencia internacional para estudiantes de bachillerato
, gan una medalla de oro, tras alcanzar la puntuacin
mxima.[4] A principios de los 1980 consigui la puntuacin ms alta en la prestigiosa organizacin para personas
con elevado cociente intelectual Mensa. Al nal de los
aos 1980, Perelmn obtuvo el grado de Candidato de la

La conjetura de Poincar, propuesta por el matemtico


francs Henri Poincar en 1904, era el problema abierto
ms famoso de la topologa. En trminos relativamente
sencillos, la conjetura indica que si una variedad tridimensional cerrada es sucientemente similar a una esfera en el sentido de que cada bucle en la variedad se
puede transformar en un punto, entonces se considerar
que es realmente slo una esfera tridimensional. Por algn tiempo se ha sabido que el resultado anlogo es cierto
en dimensiones mayores; sin embargo, el caso de variedades tridimensionales ha resultado ser el ms difcil de
todos porque, hablando coloquialmente, cuando se manipula topolgicamente una variedad tridimensional, hay

27

28

CAPTULO 16. GRIGORI PERELMN

muy pocas dimensiones para mover regiones problem- forma cannica racional.
ticas fuera del camino sin interferir con algo ms.
La idea de Hamilton haba atrado mucha atencin peEn 1999, el Instituto Clay anunci los Problemas Premia- ro nadie haba logrado demostrar que el proceso no se
dos del Milenio: un premio de un milln de dlares por la colgara desarrollando singularidades... hasta que los
demostracin de alguna de las conjeturas, incluida la de artculos de Perelmn bosquejaron un programa para suPoincar. Era aceptado por todos que una demostracin perar estos obstculos. De acuerdo con Perelmn, una
exitosa de la conjetura de Poincar constituira un hito en modicacin del ujo de Ricci estndar, llamado ujo
la historia de las matemticas, comparable a la demostra- de Ricci con ciruga, puede remover sistemticamente recin de Andrew Wiles del ltimo Teorema de Fermat o giones singulares a medida que se desarrollan, de manera
incluso de mayor alcance.
controlada.

16.2.2

La demostracin de Perelmn

En una 2-esfera, cualquier lazo puede transformarse hasta convertirse en un punto de su supercie. Caracteriza esta condicin
la 2-esfera? La respuesta es s, y ha sido conocida por mucho
tiempo. La conjetura de Poincar hace la misma pregunta, pero
ms difcil de visualizar: en la 3-esfera. Grigori Perelmn comprob que la respuesta es armativa.

Se sabe que las singularidades (incluyendo las que se producen, hablando vagamente, luego de que el ujo se haya
dado durante una cantidad innita de tiempo) deben ocurrir en muchos casos. Sin embargo, los matemticos esperan que, asumiendo que la conjetura de geometrizacin
sea cierta, cualquier singularidad que se desarrolle en un
tiempo nito esencialmente se est apretando a lo largo
de ciertas esferas que corresponden a la descomposicin
en primos de la 3-variedad. Si esto es as, cualesquiera
singularidades de tiempo innito deben resultar de ciertas piezas colapsantes de la descomposicin JSJ. El trabajo de Perelmn demuestra aparentemente esta armacin
y as demuestra la conjetura de geometrizacin.

En noviembre de 2002, Perelmn escribi en el arXiv


16.2.3 Vericacin
el primero de una serie de artculos de libre acceso en
los cuales arm haber descrito una demostracin de la
conjetura de geometrizacin, un resultado que incluye la Desde 2003, el programa de Perelmn ha atrado cada vez
ms atencin de la comunidad matemtica. En abril de
conjetura de Poincar como un caso particular.
2003, acept una invitacin para visitar el Instituto TecPerelmn modic el programa de Richard Hamilton pa- nolgico de Massachussetts, la Universidad de Princeton,
ra la demostracin de la conjetura, en el cual la idea la Universidad de Stony Brook, la Universidad Columbia
central era la nocin del ujo de Ricci. La idea bsi- y la Universidad Harvard, donde dio una serie de charca de Hamilton es formular un proceso dinmico en las sobre su trabajo.[4] Sin embargo, luego de su regreso
el que una variedad tridimensional dada se transforme a Rusia, se ha dicho que ha dejado gradualmente de resgeomtricamente, de manera que este proceso de distor- ponder a los correos electrnicos de sus colegas.
sin sea gobernado por una ecuacin diferencial anloga a la ecuacin del calor. La ecuacin del calor descri- El 25 de mayo de 2006, Bruce Kleiner y John Lott, ambos
de la Universidad de Mchigan, colocaron un artculo en el
be el comportamiento de cantidades escalares como la
temperatura; ella arma que las concentraciones de tem- arXiv que arma agregar los detalles de la demostracin
de Perelmn de la conjetura de geometrizacin.[6]
peratura elevada se dispersarn hasta que se alcance una
temperatura uniforme a lo largo del objeto. Similarmen- En junio de 2006, la Revista Asitica de Matemticas
te, el ujo de Ricci describe el comportamiento de una (Asian Journal of Mathematics) public un artculo del
cantidad tensorial, el tensor de curvatura de Ricci. La es- profesor Xi-Ping Zhu, de la Universidad de Sun Yatperanza de Hamilton era que, bajo el ujo de Ricci, las sen, en China, y de Huai-Dong Cao, de la Universidad
concentraciones de gran curvatura se dispersaran hasta de Lehigh en Pensilvania, EE. UU., que arma dar una
alcanzar una curvatura uniforme sobre toda la variedad demostracin completa de las conjeturas de Poincar y
tridimensional. Si esto es as, comenzando con cualquier geometrizacin.[7] De acuerdo al medallista Fields Shingvariedad tridimensional y si se usa la magia del ujo de Tung Yau, este artculo tena como objetivo dar los lRicci, nalmente se obtendra cierta forma normal. De timos toques a la demostracin completa de la conjetura
acuerdo con William Thurston, esta forma normal de- de Poincar".[8]
be ser una entre un pequeo nmero de posibilidades, La verdadera magnitud de la contribucin de Zhu y Cao,
cada una con un diferente sabor de geometra llamado as como la tica de la intervencin de Yau, han sido
geometras de modelos de Thurston.
controvertidas. Yau es tanto editor en jefe de la Revista
Esto es similar a formular un proceso dinmico que per- Asitica de Matemticas como asesor doctoral de Cao.[9]
turba gradualmente una matriz cuadrada dada y que, con Sylvia Nasar y David Gruber, en un escrito para el The
toda certeza, resultar luego de un tiempo nito en su New Yorker, han sugerido que Yau intentaba ser asociado,

16.3. LA MEDALLA FIELDS Y EL PREMIO DEL MILENIO


directa o indirectamente, con la demostracin de la conjetura y presion a los editores de la revista para aceptar el
artculo de Zhu y Cao de manera inusualmente rpida.[4]
Otros se han preguntado si el poco tiempo entre la fecha
de presentacin... y la fecha de aceptacin para publicacin para la revista fue suciente para permitir que el
artculo fuera revisado de manera seria. Sin embargo,
en relacin con la conjetura de Poincar, los autores tambin revelaron una acusacin aparentemente no reportada
en la prensa antes de la aparicin (en lnea) de su artculo
[3]. Ellos escribieron:
El 13 de abril de este ao, los treinta y un
matemticos del consejo editorial de la Revista Asitica de Matemticas recibieron un breve
correo electrnico de Yau y del coeditor de la
revista en el que se les informaba que tenan
tres das para comentar un artculo de Xi-Ping
Zhu y Huai-Dong Cao titulado The HamiltonPerelmn Theory of Ricci Flow: The Poincar
and Geometrization Conjectures (La teora
Hamilton-Perelmn del ujo de Ricci: Las conjeturas de Poincar y de geometrizacin), que
Yau planeaba publicar en la revista. El correo
no inclua una copia del artculo, reportes de rbitros ni un resumen. Por lo menos un miembro
del consejo pidi ver el artculo, pero se le dijo
que no estaba disponible.
A la fecha, ningn miembro del consejo editorial de la
RAM ha objetado este hecho ni tampoco ha habido explicacin al cambio de ttulo por el de A Complete Proof
of the Poincar and Geometrization Conjectures: Application of the Hamilton-Perelmn Theory of the Ricci Flow (Una demostracin completa de las conjeturas
de Poincar y de geometrizacin: Aplicacin de la teora
Hamilton-Perelmn del ujo de Ricci). Yau respondi
diciendo que el artculo haba sido arbitrado de la manera usual, y que la revista tiene estndares muy altos.[10]
Cao ha dicho: Hamilton y Perelmn han hecho los trabajos ms fundamentales. Ellos son los gigantes y nuestros
hroes. En mi mente no hay ninguna duda de que Perelmn merece la medalla Fields. Nosotros slo seguimos
las huellas de Hamilton y Perelmn y explicamos los detalles. Espero que todo el que lea nuestro artculo est de
acuerdo en que hemos dado justa cuenta. Cao defendi
tambin a Yau diciendo que Yau haba anotado que Perelmn mereca la medalla Fields, aadieron los reporteros
del The New Yorker.[11]
En julio de 2006, John Morgan, de la Universidad de Columbia, y Gang Tian, del Instituto Tecnolgico de Massachussetts, colocaron un artculo en el arXiv titulado, Ricci Flow and the Poincar Conjecture (El ujo de Ricci y la conjetura de Poincar"). En l, arman que proporcionan una demostracin detallada de la conjetura
de Poincar".[12] El 24 de agosto de 2006, Morgan dio
una charla en el ICM de Madrid sobre la conjetura de
Poincar.[13]

29

El trabajo anterior parece mostrar que el bosquejo de Perelmn puede expandirse de hecho a una demostracin
completa de la conjetura de geometrizacin.
Dennis Overbye, del New York Times, ha dicho que
hay una creciente sensacin, un optimismo cauto de
que los matemticos hayan alcanzado nalmente un hito no slo para las matemticas, sino para el pensamiento
humano.[14] Nigel Hitchin, profesor de matemticas de
la Universidad de Oxford, ha dicho que pienso que por
muchos meses o incluso aos la gente ha estado diciendo
que se convencieron por el argumento. Pienso que es un
trato hecho.[15]

16.3 La Medalla Fields y el Premio


del Milenio
En mayo de 2006, un comit de nueve matemticos votaron para premiar a Perelmn con una Medalla Fields
por su trabajo en la conjetura de Poincar.[4] La Medalla
Fields es el mayor premio en matemticas; dos a cuatro
medallas se conceden cada cuatro aos.
Sir John Ball, presidente de la Unin Matemtica Internacional, se dirigi a Perelmn en San Petersburgo en junio
de 2006 para persuadirlo de que aceptara el premio. Despus de 10 horas de persuasin durante dos das, se rindi.
Dos semanas ms tarde, Perelmn resumi la conversacin as: "l me propuso tres alternativas: acepta y ven;
acepta y no vengas, y te enviaremos la medalla luego; tercero, no aceptes ni vengas. Desde el principio le dije que
haba escogido la tercera. Sigui diciendo que el premio
era completamente irrelevante para m. Todo el mundo
entiende que, si la demostracin es correcta, entonces no
se necesita ningn otro reconocimiento.[4]
El 22 de agosto de 2006 se le ofreci pblicamente a Perelmn la medalla en el Congreso Internacional de Matemticos en Madrid, por sus contribuciones a la geometra y sus ideas revolucionarias en la estructura analtica
y geomtrica del ujo de Ricci.[16] No asisti a la ceremonia y declin la medalla.[17][18]
l haba rechazado previamente un prestigioso premio de
la Sociedad Matemtica Europea,[18] y al parecer dijo que
senta que el comit del premio no estaba cualicado para
evaluar su trabajo, incluso positivamente.[15]
Perelmn tambin debe recibir una parte del premio del
milenio (probablemente compartido con Richard Hamilton). Aunque no ha buscado una publicacin formal de su
demostracin en una revista de matemticas con revisin
por pares, como requieren las reglas del premio, muchos
matemticos piensan que el escrutinio al que se ha visto
sujeto su bosquejo excede la revisin implcita en una revisin por pares normal.[cita requerida] El Clay Mathematics
Institute ha dicho explcitamente que el consejo que concede el premio puede cambiar los requisitos formales, en
cuyo caso Perelmn sera elegible para recibir parte del

30
premio.[cita requerida]

CAPTULO 16. GRIGORI PERELMN

16.5 Personaje literario

El 18 de marzo de 2010, Perelman gan el premio del


milenio por resolver el problema.[3] Rechazando tam- La gura de Perelmn ha inspirado distintas obras literabin este premio. Anteriormente, Perelman haba dicho rias, como la novela La conjetura de Perelmn (2011) de
[23]
que no voy a decidir si acepto el premio hasta que sea Juan Soto Ivars.
[4]
ofrecido.

16.4 Retiro de las matemticas

16.6 Vase tambin


Clay Mathematics Institute

Desde la primavera de 2003, Perelmn no trabaja en el


Instituto Steklov.[5] Se dice que sus amigos han armado
que actualmente encuentra las matemticas un tema doloroso de discusin; algunos dicen incluso que ha abandonado las matemticas por completo.[19] Segn una entrevista reciente, Perelmn est actualmente desempleado,
vive con su madre, Lubov, en un pobre apartamento de
San Petersburgo.[3][5] Se dice tambin que en realidad no
est decepcionado de las matemticas, sino ms bien inmerso en la idea galileana de que El humilde razonamiento de uno vale ms que la autoridad de miles; as pues,
ha preferido aislarse, seguir estudiando y no someterse a
autoridades arbitrarias no matemticas.[cita requerida]
Aunque Perelmn dice en un artculo en The New Yorker
que est decepcionado de los estndares ticos del campo
de las matemticas, el artculo implica que Perelmn se
reere particularmente a los esfuerzos de Yau por aminorar su papel en la demostracin y exaltar el trabajo de
Cao y Zhu. Perelmn ha dicho que "no puedo decir que
estoy indignado. Otras personas hacen cosas peores. Por
supuesto, hay muchos matemticos que son ms o menos
honestos. Pero de ellos, casi todos son conformistas. Son
ms o menos honestos, pero toleran a quienes no son honestos".[4] Tambin ha dicho que "no es la gente que rompe los estndares ticos quienes se consideran extraos. Es
gente como yo quienes son aislados".[4]
Esto, combinado con la posibilidad de ser premiado con
una medalla Fields, hizo que renunciara a la matemtica profesional. Ha dicho que "mientras no era conspicuo,
tena eleccin. Incluso de hacer algo feo" (un escndalo
sobre la falta de integridad de la comunidad matemtica)
"o, si no hiciera esta clase de cosas, de ser tratado como
una mascota. Ahora, cuando me he vuelto una persona
muy conspicua, no puedo ser una mascota y decir nada.
Por esto tuve que renunciar".[4]
El profesor Marcus du Sautoy de la Universidad de Oxford ha dicho que "se ha aislado de cierta manera de la
comunidad matemtica. Se ha desilusionado de las matemticas, lo cual es muy lamentable. No est interesado en
el dinero. El gran premio para l es demostrar su teorema."[15]
Actualmente est retirado de las matemticas. Las ltimas noticias que se tenan de l era una foto suya
tomada el 20 de junio de 2007 en el metro de San
Petersburgo.[20] Sin embargo, en abril de 2011 concedi
una entrevista.[21][22]

Conjetura de geometrizacin
Conjetura de Poincar
Curvatura de Ricci
Flujo de Ricci
Medalla Fields
Teorema de Soul
Teorema de uniformizacin

16.7 Bibliografa
, (1990).

:. . .
. . . .-. (en ruso).
.
(Disertacin de Perelmn)
Perelmn, G.; Yu. Burago, M. Gromov (1992).
Aleksandrov spaces with curvatures bounded below. Russian Math Surveys 47 (2): pp. 1-58.
Perelmn, G. (1993). Construction of manifolds of
positive Ricci curvature with big volume and large Betti numbers (PDF). Comparison Geometry
30: pp. 157-163. http://www.msri.org/publications/
books/Book30/files/perricci.pdf. Consultado el 23
de agosto de 2006.
Perelmn, G. (1994). Proof of the soul conjecture
of Cheeger and Gromoll. J. Dierential Geom. 40:
pp. 209-212.
Perelmn, G. (1994). Elements of Morse theory on
Aleksandrov spaces. St. Petersbg. Math. J. 5 (1): pp.
205-213.
Perelmn, G.Ya.; Petrunin, A.M. (1994). Extremal
subsets in Alexandrov spaces and the generalized Liberman theorem. St. Petersburg Math. J. 5 (1): pp.
215-227.

16.9. REFERENCIAS
Demostracin completa de ambas conjeturas
(geometrizacin y Poincar) utilizando el mtodo
Hamilton-Perelmn:
http://www.intlpress.com/
AJM/AJM-v10.php#AJM-10-2.
Apuntes y comentarios sobre el mtodo de Perelmn
con abundante documentacin: http://www.math.
lsa.umich.edu/~{}lott/ricciflow/Perelmn.html.

31

[14] Overbye.
[15] Randerson.
[16] (PDF) Fields Medal - Grigory Perelmn. Congreso Internacional de Matemticos 2006. 22 de agosto de 2006. http://www.icm2006.org/dailynews/fields_
Perelmn_info_en.pdf.
[17] Mullins.

Demostracin de Perelmn de la conjetura de geometri- [18] Maths genius declines top prize. BBC News. 22 de agosto de 2006. http://news.bbc.co.uk/2/hi/science/nature/
zacin:
5274040.stm.

Perelman, Grisha (11 de noviembre de 2002). The


entropy formula for the Ricci ow and its geometric applications. http://arxiv.org/abs/math.DG/
0211159.
Perelman, Grisha (10 de marzo de 2003). Ricci
ow with surgery on three-manifolds. http://arxiv.
org/abs/math.DG/0303109.
Perelman, Grisha (17 de julio de 2003). Finite extinction time for the solutions to the Ricci ow on certain three-manifolds. http://arxiv.org/abs/math.DG/
0307245.

[19] :: Top.rbc.ru
[20] Perelmn en el metro (en ingls)
[21] ABC 1 de mayo de 2011
[22] Vdeo y entrevista (en ruso) en abril de 2011 a
Komsomolskaia Pravda
[23] Alejandro Garca Ingrisano: La conjetura de Perelmn,
historia de un 'bestseller' inaudito, Libertad Digital, 9 de
febrero de 2012

16.9 Referencias
16.8 Notas
[1] Medallas Fields 2006. Unin Matemtica Internacional
(IMU) - Premios. Consultado el 30-04-2006.
[2] El genio, el hombre, el enigma - La conjetura Perelman , El Pas, 3/10/2010
[3] El genio, el hombre, el enigma - La conjetura Perelman , El Pas, 3/10/2010
[4] Naser and Gruber.
[5] Lobastova and Hirsh
[6] Kleiner and Lott.
[7] Cao and Zhu.
[8] Chinese mathematicians solve global puzzle. China View
(Xinhua). 3 de junio 2006. http://news.xinhuanet.com/
english/2006-06/03/content_4642313.htm.
[9] Shing-Tung Yau en el sitio web del Proyecto de Genealoga de Matemticas, un servicio del Departamento de
Matemticas de la Universidad de Dakota del Norte.
[10] Jackson.
[11] Interview with Huai-Dong Cao. ICM2006 Daily News. 29
de agosto de 2006. http://www.icm2006.org/dailynews/
dailynews29.pdf.
[12] Morgan and Tian.
[13] Schedule of the scientifc program of the ICM 2006

Anderson, M.T. 2005. Singularities of the Ricci


ow. Encyclopedia of Mathematical Physics, Elsevier. (Exposicin detallada de las ideas de Perelman que llevan a completar la clasicacin de 3variedades)
The Associated Press, Russian may have solved great
math mystery. CNN. 1 de julio de 2004.
Begley, Sharon (21 de julio de 2006). Major math
problem is believed solved. Wall Street Journal.
Cao, Huai-Dong; Xi-Ping Zhu (junio 2006). A
Complete Proof of the Poincar and Geometrization
Conjectures - application of the Hamilton-Perelman
theory of the Ricci ow (PDF). Asian Journal
of Mathematics 10 (2). http://www.intlpress.com/
AJM/p/2006/10_2/AJM-10-2-165-492.pdf.
Collins, Graham P. (julio 2004). The Shapes of
Space. Scientic American: pp. 94-103.
Jackson, Allyn (septiembre 2006). Conjectures No
More? Consensus Forming on the Proof of the
Poincar and Geometrization Conjectures (PDF).
Notices of the AMS. http://www.ams.org/notices/
200608/comm-perelman.pdf.
Kleiner, Bruce; Lott, John (25 de mayo de 2006).
Notes on Perelmans papers. http://arxiv/abs/math.
DG/0605667.

32

CAPTULO 16. GRIGORI PERELMN

Kusher, Rob. Witnesses to Mathematical History


Ricci Flow and Geometry. Consultado el 22-082006. (an account of Perelmans talk on his proof at
MIT; pdf le)
Lobastova, Nadejda; Hirst, Michael (20 de agosto de 2006). Worlds top maths genius jobless
and living with mother. The Daily Telegraph.
http://www.telegraph.co.uk/news/main.jhtml?
xml=/news/2006/08/20/nmaths20.xml. Consultado
el 24-08-2006.
Morgan, John W.; Gang Tian (25 de julio de 2006).
Ricci Flow and the Poincar Conjecture. http://arxiv.
org/abs/math.DG/0607607.
Mullins, Justin (22 de agosto de 2006). Prestigious
Fields Medals for mathematics awarded. New
Scientist.
http://www.newscientist.com/article/
dn9813.html.
Nasar, Sylvia; Gruber, David (21 de agosto de
2006). Manifold Destiny: A legendary problem
and the battle over who solved it.. The New Yorker. Archivado del original el 2012-09-03. https:
//archive.is/kn45. Consultado el 24-08-2006.
Overbye, Dennis (15 de agosto de 2006). An Elusive
Proof and Its Elusive Prover. New York Times.
Randerson, James (16 de agosto de 2006). Meet the
cleverest man in the world (whos going to say no to a
$1m prize). The Guardian. http://www.guardian.co.
uk/frontpage/story/0,,1851095,00.html.
Robinson, Sara (15 de abril de 2003). He Has Solved a Celebrated Math Problem. The New York
Times. http://www.msri.org/people/members/sara/
articles/perlman.html. Consultado el 20-08-2006.

Congreso Internacional de Matemticos Madrid


2006
Artculos de Perelman en arXiv (enlace a ventana
APS del servidor arxiv.org para Perelman)
Lista de profesorado en Perelman en el Departamento de Petersburgo del Instituto Steklov de Matemticas
Situacin en el Mathematics Genealogy Project
Facultad de Matemticas y Mecnica de la Universidad del Estado de San Petersburgo
Departamento de Petersburgo del Instituto Steklov
de Matemticas
Notas y comentarios sobre los artculos del ujo de
Ricci de Perelman
Puntajes individuales de la Olimpiada Matemtica
Internacional de 1982 (Budapest, Hungra)
Biografa y logros
Grigori Perelman, un genio perdido en el tiempo,
RTVE.
El genio, el hombre, el enigma - La conjetura Perelman, El Pas, 3/10/2010.
Grigori Perelman visto en el metro, 20 minutos,
19/6/2007
Reportaje en El Mundo
Grigori Perelman rechaza la medalla Fields.
Reportaje en la BBC

Schecter, Bruce (17 de julio de 2006). Taming the


fourth dimension. New Scientist 183 (2456).

MANIFOLD DESTINY: A legendary problem and


the battle over who solved it. Artculo en The New
Yorker

Weeks, Jerey R. (2002). The Shape of Space. New


York: Marcel Dekker. ISBN 0-8247-0709-5. (El autor
es un ex-estudiante de doctorado de Bill Thurston).

Parte de la entrevista de Komsomolskaia Pravda traducida al castellano en el peridico vasco Gara del
26/11/2011.

Weisstein, Eric (15-04-2004). Poincar Conjecture Proved--This Time for Real. Consultado el 2208-2006.

16.10 Enlaces externos

Wikiquote alberga frases clebres de o sobre


Grigori Perelmn. Wikiquote

Wikimedia Commons alberga contenido multimedia sobre Grigori PerelmnCommons.

Medallas Fields otorgadas por la IMU en 2006

Captulo 17

Stanislav Smirnov
Stanislav Konstantnovich Smirnov (en ruso:
; n. 3 de
septiembre de 1970) es un matemtico ruso, galardonado con la Medalla Fields en 2010. Su investigacin se
centra en los campos del anlisis complejo, los sistemas
dinmicos y la teora de la probabilidad.[1][2]

17.1 Carrera
Smirnov naci el 3 de septiembre de 1970 en Leningrado, URSS (actual San Petersburgo, Rusia). Asisti a un
colegio especializado en matemticas, el Liceo 239 de
San Petersburgo, hasta 1987, y naliz su licenciatura
en 1992 en la Universidad Estatal de San Petersburgo,
donde trabaj dirigido por Victor Havin.[3] Recibi su
doctorado en 1996, habindolo realizado en el Instituto de
Tecnologa de California bajo la direccin de Nikolai G.
Makarov, con la presentacin de una tesis titulada Spectral Analysis of Julia Sets.[4] Smirnov ha ocupado puestos
como investigador en la Universidad de Yale, el Instituto
Max Planck de matemticas de Bonn y el Instituto de Estudios Avanzados de Princeton.[5][3] En 1998 se traslad
al Instituto Real de Tecnologa de Estocolmo, y en 2003
tom posesin de su actual cargo de profesor de Anlisis,
Fsica Matemtica y Probabilidad en la Universidad de
Ginebra.[6][3]

17.2 Investigacin

17.3 Premios
En las Olimpiadas Internacionales de Matemticas de
1986 y 1987, Smirnov se clasic en primera posicin,
obteniendo unas altas puntuaciones y medallas de oro en
ambas ocasiones.[9] Ha sido galardonado con el Premio
de la Sociedad Matemtica de San Petersburgo (1997), el
Clay Research Award (2001), el Premio Salem (junto con
Oded Schramm, 2001), el Gran Gustafsson Research
Prize (2001), el Premio Rollo Davidson (2002), y el Premio de la European Mathematical Society (2004).[3]
En 2010 Smirnov fue galardonado con la Medalla Fields
por su trabajo sobre los fundamentos matemticos de la
fsica estadstica, concretamente por los modelos de red
nita.[10] La demostracin de la invariante conforme de
percolacin y el modelo de Ising plano en fsica estadstica fue la justicacin ocial para la entrega de dicha
medalla.[11] En su laudatio, Harry Kesten dijo que Smirnov tiene el talento y los conocimientos para producir resultados sorprendentes, y su trabajo ha sido un importante estmulo para la explosin, en los ltimos 15 aos,
ms o menos, de los resultados probabilsticos sobre curvas planas aleatorias.[12] Los otros ganadores de la Medalla Fields ese ao fueron Elon Lindenstrauss, Ng Bo
Chu y Cdric Villani.[13] Tras recibir el premio, Smirnov expres su deseo de continuar realizando avances en
el campo de las matemticas, diciendo: Estoy ansioso de
demostrar ms teoremas. Espero que el peso de este premio
no me ralentice. [14]

17.4 Referencias

Smirnov es especialmente conocido por su trabajo en la


teora de la percolacin, en la que demostr la frmula de Cardy para el valor de los exponentes crticos para redes triangulares, mediante la utilizacin de tcnicas de invariancia conforme.[5][7] El teorema de Smirnov ha conducido a una teora de la percolacin de redes
triangulares bastante completa, habiendo adems puesto
en evidencia su relacin con la evolucin de Schramm
Loewner, introducida por Oded Schramm. Dicho teorema ha servido tambin para demostrar que la invariancia
conforme es clave para el estudio de la percolacin en
redes bidimensionales.[8]
33

[1] Publicaciones de Stanislav Smirnov en Google Scholar


(en ingls).
[2] Pgina web de Stanislav Smirnov (en ingls).
[3] La Mdaille Fields pour un professeur de lUNIGE
(en francs). Universidad de Ginebra press releases.
Universidad de Ginebra (19 de agosto de 2010). Consultado el 19 de agosto de 2010.
[4] Stanislav Smirnov en el Mathematics Genealogy Project.
[5] Clay Mathematics Institute (en ingls).

34

CAPTULO 17. STANISLAV SMIRNOV

[6] Stanislav Smirnovs page at the Universidad de Ginebra


(en francs). Universidad de Ginebra. Consultado el 19 de
agosto de 2010.
[7] Smirnov, Stanislav (2001). Critical percolation in the
plane: conformal invariance, Cardys formula, scaling limits. Comptes Rendus de l'Academie des Sciences 333:
pp. 239244. doi:10.1016/S0764-4442(01)01991-7
[8] Artculos of Stanislav Smirnov (en ingls).
[9] Stanislav Smirnov. Olimpiada Internacional de Matemtica. Consultado el 19 de agosto de 2010.
[10] Cipra, Barry (19 de agosto de 2010). Fields Medals, Other Top Math Prizes, Awarded. Science Now (en ingls)
(AAAS). Consultado el 19 de agosto de 2010.
[11] Congreso matemtico entrega cuatro medallas Fields en
su reunin de India. ABC. 19 de agosto de 2010. Consultado el 2 de septiembre de 2010.
[12] Kesten, Harry (19 de agosto de 2010). The Work of Stanislav Smirnov (en ingls). Congreso Internacional de
Matemticos. Consultado el 19 de agosto de 2010.
[13] Cressey, Daniel (19 de agosto de 2010). Four mathematicians reap Fields Medals. The Great Beyond (en ingls)
(Nature Publishing Group). Consultado el 19 de agosto de
2010.
[14] Bellos, Alex (19 de agosto de 2010). Mathematics 'Nobel' rewards boundary-busting work. New Scientist (en ingls) (Reed Business Information Ltd). Consultado el 19
de agosto de 2010.

17.5 Enlaces externos

Wikimedia Commons alberga contenido multimedia sobre Stanislav Smirnov. Commons

Captulo 18

Vladmir Voyevodski
18.2 Referencias
Friedlander, Eric M., Rapoport, Michael, and Suslin, Andrei. (2003) The mathematical work of the
2002 Fields medalists. Notices Amer. Math. Soc. 50
(2), 212217.
Voevodsky, Vladimir, Suslin, Andrei, and Friedlander, Eric M. (2000) Cycles, transfers, and motivic
homology theories. Annals of Mathematics Studies
Vol. 143. Princeton University Press.
Vladmir Voyevodski en el Mathematics Genealogy
Project.

Vladmir Voyevodski

Vladmir
Vladislvovich
Voyevodski
(Ruso:
), tambin
trascrito como Voevodsky (naci el 4 de junio de 1966).
Es un matemtico Ruso, ganador de la Medalla Fields en
el ao 2002.

18.1 Biografa
Voyevodski estudi en la Universidad Estatal de Mosc.
adems, recibi su ttulo de Doctor en Filosofa y Matemticas en la Universidad de Harvard en 1992. Actualmente se desarrolla como profesor en el Instituto de Estudios Avanzados de Pinceton, Nueva Jersey.
Es autor (junto a Andri Suslin and Eric M. Friedlander)
de Cycles, Transfers and Motivic Homology Theories.
Grandes aportaciones a las matemticas modernas
35

Captulo 19

Victor Zalgaller
19.1 Referencias
V.A. Aleksandrov, et al. Viktor Abramovich Zalgaller (on his 80th birthday), Russian Mathematical
Surveys, Vol. 56 (2001), 10131014 (ver aqu para la versin Rusa).
Yu.D. Burago, et al. Viktor Abramovich Zalgaller
(on his 80th birthday), J. Math. Sci. (N. Y.) J. Math.
Sci. (N.Y.) Vol. 119 (2004), 129132 (ver aqu para
la versin Rusa).
M.Z. Solomyak, A few words about Viktor Abramovich Zalgaller, J. Math. Sci. (N.Y.) Vol. 119 (2004),
138140.
List of papers of V.A. Zalgaller, disponible aqu (mayormente en Ruso).
Zalgaller, Victor; Burago, Yuri (1988-February).
Geometric Inequalities. Springer Verlag. p. 356pp.
ISBN 3540136150.
V.A. Zalgaller, Rehovot, Israel, Sep. 2006.

19.2 Enlaces externos


Victor (Viktor) Abramovich Zalgaller (en ruso: ; nacido el 25 de Diciembre
de 1920 en Parno, blast de Nvgorod, Rusia) es un
matemtico especializado en geometra y optimizacin.
Es mayormente conocido por sus trabajos en poliedros
convexos, programacin lineal y programacin dinmica,
isoperimetra, y geometra diferencial.
Zalgaller inici sus trabajos bajo la direccin de A.D.
Alexandrov y Leonid Kantorvich. Escribi monografas
compartidas con ambos. Su ltima monografa Geometric
Inequalities (junto a Yu. Burago) es todava la principal
referencia en su campo.
Zalgaller vivi en San Petersburgo casi toda su vida, habiendo estudiado y trabajado en la Universidad Estatal de
San Petersburgo y en el Instituto Steklov de Matemticas
(Saint Petersburg branch). En 1999 emigr a Israel.
36

Victor Zalgaller en el Mathematics Genealogy Project.


Intrinsic Geometry of Surfaces libro de A.D Alexandrov y V.A. Zalgaller (AMS Online Book).
Memoria personal de la guerra (en ruso).
Lectura realizada en 1999 en S. Petersburgo, Rusia
(vdeo, en ruso)

Captulo 20

Yem Zelmnov

Em Zelmanov

Yem Isakovich Zelmnov (


: nacido el 7 de septiembre de 1955) es
un matemtico conocido por su trabajo en problemas
combinatorios en lgebra no-asociativa y teora de
grupos, incluyendo su solucin al problema de Burnside.
Fue condecorado con la Medalla Fields en 1994.
Naci en el seno de una familia juda en Jabrovsk, en la
Unin Sovitica (actual Rusia). Se doctor en la Universidad de Novosibirsk y obtuvo el ttulo de mayor grado
en la Universidad de Leningrado (hoy San Petersburgo)
en 1985. Mantuvo un cargo en la Universidad de Novosibirsk hasta 1987, ao en el que abandon la Unin Sovitica.
Desde 1990 hasta 1994 fue profesor en la Universidad
de Wisconsin-Madison. Los dos aos siguientes trabaj,
tambin de profesor, en la Universidad de Chicago para
posteriormente pasar a la Universidad de Yale.
Desde 1996 es profesor distinguido en el Korea Institute
for Advanced Study. En 2002 ocup el cargo de profesor
en la Universidad de California, San Diego.

37

Captulo 21

Jan ukasiewicz
21.1 Biografa
1878 Nacimiento
1890-1902 Estudia con Kazimierz Twardowski en
Lepolis
1902 Doctorado (matemtica y losofa),
Universidad de Lepolis con la ms alta distincin posible
1906 Completa su tesis, Universidad de Lepolis
1906 Se convierte en profesor
1910 ensayos en el principio de no contradiccin y
del principio del tercero excluso.
1911 profesor extraordinario en Lepolis
1915 invitado a la nueva Universidad de Varsovia
1916 declarado el nuevo Reino de Polonia
Jan ukasiewicz 1935

1917 Desarrolla el clculo proposicional trivalente y


critica el principio del tercero excluido.
Jan ukasiewicz (21 de diciembre de 1878 - 13 de
febrero de 1956) fue un matemtico, lgico y lsofo
polaco que naci en Lepolis, Galitzia (actual Ucrania).
Su trabajo se centr en la lgica. l pens innovar en la
tradicional lgica proposicional, el principio de no contradiccin y el principio del tercero excluido.
ukasiewicz trabaj en lgica polivalente, incluyendo su
propio clculo de tres valores de verdad, la primera lgica
de clculo no clsica. Tambin se dedic a otras reas de
la losofa, aproximndose a los aspectos humanos de la
creacin de la teora cientca con ideas similares a las de
Karl Popper.
Es autor, entre otras obras, de Elementos de lgica matemtica, La silogstica de Aristteles desde el punto de vista
de la lgica formal moderna, Sobre la teora intuicionista
de la deduccin, Un sistema de lgica modal, y El principio de individuacin.
38

1919 Ministro Polaco de Educacin


1920-1939 profesor en la Universidad de Varsovia
funda junto a Stanislaw Leniewski la escuela de
lgica Lepolis-Varsovia (ver tambin Alfred Tarski, Stefan Banach, Hugo Steinhaus, Zygmunt Janiszewski, Stefan Mazurkiewicz)
1928 se casa con Regina Barwinska
1946 exilio en Blgica
1946 se ofrece una ctedra en el University College
Dublin
1953 escribe su autobiografa
1956 Muere en Dubln

21.5. BIBLIOGRAFA ADICIONAL

21.2 Axiomatizacin de la lgica


proposicional
Uno de los aspectos ms conocidos de su trabajo son sus
axiomatizaciones de la lgica proposicional. Una de esas
axiomatizaciones consiste apenas en tres axiomas que, en
notacin moderna, podran ser escritos de la siguiente forma:
( ( ))
(( ( )) (( ) ( )))
(( ) ( ))
A partir de estos tres axiomas, todas y slo las frmulas vlidas de la lgica proposicional pueden ser inferidas
va substitucin y/o modus ponens. ukasiewicz tambin
present una revisin de un sistema axiomtico de Nicod
que usa apenas un conectivo y posee un axioma:
((p q) r) ((r p) (s p)) [1]
Otro gran logro de ukasiewicz fue una notacin no ambigua para la lgica proposicional, suciente para permitir la eliminacin de parntesis y otros signos usados para
determinar el alcance de los conectivos lgicos. Esta notacin es conocida como notacin polaca y en ella los conectivos lgicos son prejados en vez de injados como
ocurre en la notacin usual. Esta notacin tiene importancia terica para las ciencias de la computacin.

21.3 Vase tambin


Notacin polaca
Alfred Tarski
Escuela de Lepolis-Varsovia

21.4 Notas y referencias


[1] El ao pasado consegu encontrar el axioma ms corto de este clculo.En la notacin libre de parntesis que
he diseado tiene slo trece letras y la siguiente forma:
CCCpqrCCrpCsp.
ukasiewicz, Jan. Estudios de logica y losofa. Revista de Occidente. ISBN 84-2928710-8, pg 135.

21.5 Bibliografa adicional


Frederick Seddon, ed. (1996). Aristotle & ukasiewicz on the Principle of Contradiction (en ingls).
Modern Logic Pub. p. 142. ISBN 978-1884905049.

39
Jan Wolenski, ed. (1994). Philosophical Logic in Poland (en ingls). Kluwer. ISBN 0-7923-2293-2.
ukasiewicz, Jan (1963). Elements of Mathematical
Logic (en polaco). Warsaw: Pastwowe Wydawnictwo Naukowe.
ukasiewicz, Jan (1970). Selected Works (en ingls).
msterdam: North-Holland.
ukasiewicz, Jan (1957). Aristotles Syllogistic (en
ingls). Oxford: The Clarendon Press.
ukasiewicz, Jan (1977). La silogstica de Aristteles
desde el punto de vista de la lgica formal moderna.
Tecnos. ISBN 84-309-0725-4.
ukasiewicz, Jan (1974). Para una historia de la Lgica de Enunciados. Cuadernos teorema. p. 41. ISBN
84-600-6513-8.
ukasiewicz, Jan. Estudios de logica y losofa. Revista de Occidente. p. 143. ISBN 84-292-8710-8.

Captulo 22

Valor de verdad
En lgica, un valor de verdad es un valor que indica en
qu medida una declaracin es verdad.
Por ejemplo, el valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa,
con independencia del valor que consideremos V o F de
llueve (p) y de no llueve (p). La funcin de verdad
no se dene mediante una tabla de verdad. Algebraicamente, el conjunto {verdadero, falso}, o funcin lgica, forma un lgebra booleana simple (subdirectamente
irreducible). Otras lgebras booleanas se pueden utilizar
como conjuntos de valores de verdad en lgicas multivaluadas, mientras que la lgica intuicionista generaliza
las lgebras booleanas a lgebras de Heyting.
En la teora de los topos, el clasicador de subobjetos de
los topos toma el lugar del conjunto de valores de verdad.
Esta nomenclatura est quizs ms de acuerdo con los usos
que prevalecen en matemticas que con los de la losofa.

40

Captulo 23

Principio del tercero excluido


El principio del tercero excluido, propuesto y formalizado por Aristteles, tambin llamado principio del tercero excluso o en latn principium tertii exclusi (tambin
conocido como tertium non datur o una tercera (cosa)
no se da), es un principio de lgica clsica segn el cual
la disyuncin de una proposicin y su negacin es siempre verdadera.[1][2] Por ejemplo, es verdad que es de da
o no es de da, y que el Sol est ardiendo o no est ardiendo. El principio del tercero excluido frecuentemente
se confunde con el principio de bivalencia, segn el cual
toda proposicin o bien es verdadera o bien es falsa.[1][2]
El principio del tercero excluido es, junto con el principio
de no contradiccin y el principio de identidad, una de las
leyes clsicas del pensamiento.[3]

23.1 Vase tambin


Trialismo

23.2 Referencias

En la lgica proposicional, el principio del tercero excluido se expresa:

[1] Robert Audi, ed., principle of excluded middle (en ingls), The Cambridge Dictionary of Philosophy (2nd Edition edicin), Cambridge University Press
[2] Ted Honderich, ed., law of excluded middle (en ingls),
The Oxford Companion to Philosophy, Oxford University
Press
[3] Robert Audi, ed., laws of thought (en ingls), The Cambridge Dictionary of Philosophy (2nd edition edicin),
Cambridge University Press
[4] Vaz Ferreira, Carlos (1983). Lgica viva. Montevideo,
Uruguay: Tcnica. p. 92.

(A A)

donde A no es una frmula del lenguaje, sino una metavariable que representa a cualquier frmula del lenguaje. 23.2.1
En la lgica aristotlica, se distingue entre juicios contradictorios y juicios contrarios. Dados dos juicios contradictorios, no puede darse un juicio intermedio, pero
s en cambio entre dos juicios contrarios. Por ejemplo, si
se arma Juan es bueno y esta proposicin es verdadera, entonces los juicios contradictorios son Juan no
es bueno y esta proposicin no es verdadera, y no hay
posibilidad de un juicio intermedio. Pero en cambio, los
juicios contrarios son Juan es malo y esta proposicin es
falsa, y entonces s cabe la posibilidad de otros juicios
intermedios, como Juan es ms o menos bueno y esta
proposicin es probablemente falsa.[cita requerida]
Segn Stuart Mill, la frase abracadabra es una segunda
intencin no es ni verdadera ni falsa, sino que carece de
sentido.[4]
La negacin del principio del tercero excluido de un
sistema lgico da lugar a las llamadas lgicas polivalentes.
es imposible que lo mismo se d y no se d en lo mismo
a la vez y en el mismo sentido Aristteles. Metafsica
1005b15
41

Notas

Captulo 24

Notacin polaca
expresiones ms complejas, los operadores todava preceden sus operandos, pero los operandos pueden ser ellos
mismos expresiones no triviales incluyendo sus propios
operadores. Por ejemplo, la expresin que sera escrita
en la notacin de injo convencional como
(5 - 6) * 7

Notacin polaca.

La notacin polaca, tambin conocida como notacin


de prejo o notacin preja, es una forma de notacin
para la lgica, la aritmtica, y el lgebra. Su caracterstica
distintiva es que coloca los operadores a la izquierda de
sus operandos. Si la aridad de los operadores es ja, el
resultado es una sintaxis que carece de parntesis u otros
signos de agrupacin, y todava puede ser analizada sin
ambigedad. El lgico polaco Jan ukasiewicz invent
esta notacin alrededor de 1920 para simplicar la lgica
proposicional.
Aqu hay una cita de Axiom and Generalizing Deduction
de Nicod , pgina 180.
Vine sobre la idea de una notacin libre
de parntesis en 1924. Utilic esa notacin por
primera vez en mi artculo Lukasiewicz(1), P.
610, nota al pie de la pgina.

puede ser escrito en prejo como


* (- 5 6) 7
o simplemente
*-567
Puesto que los simples operadores aritmticos son todos
binarios (por lo menos, en contextos aritmticos), cualquier representacin prejo de ellos es inequvoca, y poner signos de agrupamiento a la expresin de prejo es
innecesario. En el ejemplo anterior, los parntesis en la
versin de injo eran requeridos. Si los movemos:
5 - (6 * 7)
o simplemente los quitamos:

La referencia de arriba, citada por Jan Lukasiewicz es al


parecer un informe litograado en polaco.

5-6*7

Alonzo Church menciona esta notacin en su libro clsi- cambiara el signicado y el resultado de toda la expreco sobre lgica matemtica como digna de observacin sin. Sin embargo, la versin correspondiente de prejo
en los sistemas notacionales incluso contrastados con la de este segundo clculo sera escrita como:
Exposicin notacional lgica y el trabajo Principia Mathematica de Whitehead y Russell.[1]
-5*67
Mientras que no se ha usado ms en lgica, la notacin
polaca ha encontrado un espacio en las ciencias de la El proceso de la substraccin es diferido hasta que ambos
computacin.
operandos de la substraccin se hayan ledo (es decir, 5
y el producto de 6 y 7). Como con cualquier notacin,
las expresiones ms interiores son evaluadas primero, pero en la notacin de prejo este interioridad se puede
24.1 Aritmtica
transportar por el orden en vez del agrupamiento.
La expresin para sumar los nmeros uno y dos, en la no- La notacin de prejo de la aritmtica simple es en gran
tacin de prejo, se escribe "+ 1 2 en vez de 1 + 2. En parte de inters acadmico. Como la similar notacin de
42

24.4. NOTACIN POLACA EN LGICA


posjo o notacin polaca inversa, la notacin de prejo
ha sido usada en algunas calculadoras comerciales (HP11C).April 2009[cita requerida] Sin embargo, la aritmtica de
notacin de prejo es usada con frecuencia como primer
paso conceptual en la enseanza de la construccin de un
compilador.

24.2 Programacin de computadora


La notacin de prejo ha visto una amplia aplicacin con
las S-expressions de Lisp, donde son requeridos los parntesis debido a los operadores aritmticos que tienen
aridad variable. El lenguaje de programacin Ambi usa
la notacin polaca para operaciones aritmticas y la construccin del programa. La posja notacin polaca inversa es usada en muchos lenguajes de programacin basados en pila como PostScript, y es el principio de operacin de ciertas calculadoras, notablemente las de HewlettPackard.

43
mente a la notacin para descubrir qu operador evaluar
primero. Leyendo una expresin de izquierda a derecha,
primero se busca un operador y se procede a buscar dos
operandos. Si se encuentra otro operador antes de que se
encuentren los dos operandos, entonces el operador viejo es colocado a un lado hasta que este nuevo operador
sea resuelto. Este proceso se itera hasta que un operador
sea resuelto, lo cual debera suceder siempre, puesto que
en una sentencia completa debe haber un operando ms
que la cantidad de operadores. Una vez que est resuelto,
el operador y los dos operandos son reemplazados por un
nuevo operando. Puesto que un operador y dos operandos
son eliminados y un operando es aadido, hay una prdida neta de un operador y un operando, lo cual todava
deja una expresin con N operadores y N+1 operandos,
permitiendo as que el proceso iterativo contine. sta
es la teora general tras el uso de stacks en lenguajes de
programacin para evaluar una sentencia en la notacin
de prejo, aunque hay varios algoritmos que manipulan
el proceso. Una vez que es analizada una sentencia en la
notacin de prejo, llega a ser menos intimidante mientras que permite una cierta separacin desde la convencin con una aadida conveniencia. Un ejemplo muestra
la facilidad con la cual una sentencia compleja en la notacin de prejo se puede descifrar a travs del orden de
las operaciones:

Aunque sea obvio, es importante observar que el nmero de operandos en una expresin debe igualar al nmero
de operadores ms uno, de lo contrario la sentencia no
tiene ningn sentido (asumiendo que solamente son usados operadores binarios en la expresin). Esto puede ser
fcil de pasarlo por alto cuando se trata con expresiones
ms largas y ms complicadas con varios operadores, as
que se debe tener cuidado de comprobar con minuciosidad que una expresin tiene sentido al usar la notacin de
prejo.

- * / 15 - 7 + 1 1 3 + 2 + 1 1 = - * / 15 - 7 2 3 + 2 + 1 1
= - * / 15 5 3 + 2 + 1 1 = - * 3 3 + 2 + 1 1 = - 9 + 2 + 1
1=-9+22=-94=5

24.3 Orden de las operaciones

24.4 Notacin polaca en lgica

El orden de operaciones es denido dentro de la estructura de la notacin de prejo y puede ser fcilmente determinada. Una cosa a tener presente es que al ejecutar una
operacin, la operacin es aplicada AL primer operando
POR el segundo operando. Esto no es un problema con
las operaciones que conmutan, pero para las operaciones
no conmutativas como la divisin o la substraccin, este
hecho es crucial para anlisis de una sentencia. Por ejemplo, la sentencia siguiente:

La siguiente tabla muestra el ncleo de la notacin para


la lgica de sentencias de Jan ukasiewicz. La notacin
convencional recin fue establecida entre las dcadas de
1970 y 1980. Algunas de las letras usadas corresponden
a ciertos vocablos polacos:

La expresin en notacin de injo ((15 / (7 - (1 + 1))) *


3) - (2 + (1 + 1)) se resuelve de la siguiente manera en
notacin polaca o de prejo:

24.5 Autmata de pila

/ 10 5 = 2 (prejo)

La notacin polaca es la originada por un Autmata con


Se lee como Divide 10 POR 5. As la solucin es 2, pila, en la que los operadores siempre preceden a los openo como sera el resultado de un anlisis incorrecto de randos sobre los que actan, y que tiene la ventaja de no
necesitar parntesis:
dividir 5 entre 10.
La notacin de prejo es especialmente popular entre las
operaciones basadas en pila debido a su capacidad natural de distinguir fcilmente el orden de las operaciones
sin la necesidad de parntesis. Para evaluar el orden de
las operaciones bajo la notacin de prejo, incluso no se
necesita memorizar una jerarqua operacional, como con
la notacin de injo. En lugar de eso, se mira directa-

Estndar
Ejemplo 1: 2 * ( 3 + 5 ) Ejemplo 2: 2 * 3 + 5
Polaca
Ejemplo 1: * 2 + 3 5 Ejemplo 2: + * 2 3 5

44

CAPTULO 24. NOTACIN POLACA

24.6 Referencias
[1] Church, Alonzo (1944). Introduction to Mathematical Logic. Princeton, New Jersey: Princeton University Press.
- p.38: Worthy of remark is the parenthesis-free notation of Jan Lukasiewicz. In this the letters N, A, C, E, K
are used in the roles of negation, disjunction, implication,
equivalence, conjunction respectively. ...

Weisstein, Eric W. ReversePolishNotation (en ingls). MathWorld. Wolfram Research.

24.7 Lecturas relacionadas


ukasiewicz, Jan (1957). Aristotles Syllogistic from
the Standpoint of Modern Formal Logic. Oxford University Press.
ukasiewicz, Jan, Philosophische Bemerkungen
zu mehrwertigen Systemen des Aussagenkalkls,
Comptes rendus des sances de la Socit des Sciences
et des Lettres de Varsovie, 23:51-77 (1930). Translated by H. Weber as Philosophical Remarks on
Many-Valued Systems of Propositional Logics, in
Storrs McCall, Polish Logic 1920-1939, Clarendon
Press: Oxford (1967).

24.8 Vase tambin


Notacin de injo
Notacin de postjo, tambin llamada notacin polaca inversa
Lenguaje de programacin LISP
Expresin S
Notacin hngara

Captulo 25

Escuela de Lepolis-Varsovia
3. inters por la semntica lgica.
Los representantes de esta escuela llevaron a cabo investigaciones en cuanto a la lgica y fundamentos de la
matemtica, la metodologa de las ciencias deductivas y
a la historia de la lgica y la semntica lgica. Otros investigaron la metalgica. Los lgicos se ocuparon de la
teora axiomtica de los conjuntos y otros.
Algunos destacados pensadores: Tadeusz Kotarbiski,
Kazimierz Ajdukiewicz, Tadeusz Czeowski, Stanisaw
Jakowski, Czesaw Lejewski, Stanislaw Leniewski, Jan
ukasiewicz, Alfred Tarski.
Las ideas progresivas de la Escuela de Lepolis-Varsovia
continuaron siendo desarrolladas por los lsofos y lgicos de la Repblica Popular de Polonia.

25.1 Referencias
Rosental, Mark Moisevich; Iudin, Pavel Fedorovich
(1968). Diccionario Filosco. Rosario: Ediciones
Universo. p. 287.

Twardowski, fundador de la Escuela de Lvov-Varsovia.

La Escuela de Lepolis-Varsovia fue un grupo de


lgicos y lsofos polacos que trabajaron durante el
perodo de entreguerras en las ciudades que le dan nombre, as como en Cracovia.
El fundador de esta escuela fue Kazimierz Twardowski.
Son caractersticas de la mayora de sus pensadores:
1. negacin del irracionalismo y uso de la lgica
matemtica para precisar los fundamentos del
racionalismo;
2. investigacin exacta de la lgica del razonamiento
cientco;
45

Captulo 26

Alfred Tarski
Alfred Tarski (14 de enero de 190226 de octubre mostr que muchas teoras matemticas, como la teora
de 1983) -originalmente Alfred Teitelbaum- (1902-1983) de retculos, la geometra proyectiva abstracta y la teora
fue un lgico, matemtico y lsofo polaco.
de grupos no conmutativos, no son decidibles.
Naci el 14 de enero de 1902 en la ciudad de Varsovia, En los aos 40 Tarski comenz a desarrollar junto a sus
Polonia, y muri el 26 de octubre de 1983 en Berkeley, discpulos el lgebra relacional, en la que pueden expreEstados Unidos.
sarse tanto la teora axiomtica de conjuntos como la
De origen judo acomodado, adopt su apellido deni- aritmtica de Peano. Tambin desarroll junto a sus distivo al convertirse en 1923 a la religin mayoritaria en cpulos las lgebras cilndricas, que son a la lgica de priPolonia, el catolicismo. Form parte de la importante es- mer orden lo que el lgebra booleana a la lgica proposicuela polaca de lgica y losofa hasta 1939, en que se cional.
estableci en Estados Unidos de Amrica; la emigracin
le salv de la suerte de la mayor parte de su familia, que
pereci bajo la ocupacin nazi de Polonia. Desde Estados
Unidos, donde vivira y enseara hasta su muerte, inuy en toda la investigacin lgica posterior a la Segunda
Guerra Mundial. Hizo aportaciones destacadas en teora
de conjuntos, lgica polivalente, niveles de lenguaje y
metalenguaje y conceptos semnticos. Fue el autor de Introduccin a la lgica y a la metodologa de las ciencias
deductivas en el ao 1941 y La concepcin semntica de
la verdad y los fundamentos de la semntica en 1944.

26.2 Lgica y teora de modelos


Junto con Aristteles, Gottlob Frege y Kurt Gdel, Tarski es considerado uno de los lgicos ms grandes de todos
los tiempos. De los cuatro, Tarski es uno de los mejores
matemticos, el ms prolco y el que desarrollo una actividad educativa ms intensa. Entre sus muchos y relevantes discpulos se cuenta Julia Robinson. En 1941 public
en ingls uno de los manuales de lgica ms acreditados,
Introduction to Logic and to the Methodology of Deductive
Sciences.
Tarski contribuy a la madurez de la lgica estndar de
primer orden fundando una metodologa conjuntista de
las teoras deductivas sobre dos bases:

26.1 Matemticas
En 1924 Tarski y Stefan Banach demostraron que una
bola en sentido topolgico puede dividirse en un nmero nito de piezas y recomponerse en dos bolas con el
mismo tamao que la original. Este resultado se conoce
como paradoja de Banach-Tarski, si bien no se trata de
una paradoja, sino de una consecuencia no intuitiva del
axioma de eleccin.
Tarski formul una teora de los nmeros reales que es
decidible. El inters de este resultado estriba en que la
teora de la adicin y la multiplicacin para nmeros naturales, segn demostraron Church y Gdel, no es decidible; por tanto, en la teora completa de los nmeros
reales no puede establecerse si un nmero real es natural
esto sera contradictorio con los resultados de Gdel
y Church. Tarski formul adems una versin concisa
de la geometra eucldea del plano que es decidible si lo
es su teora de los nmeros reales. En su obra de 1953
Teoras indecidibles, escrita con Mostowski y Robinson,

la nocin de teora como conjunto de proposiciones cerrado bajo una nocin de derivacin mediante
aplicacin de reglas, y
el desarrollo de una semntica basada en las nociones de satisfaccin, verdad y consecuencia lgica.
Sus mtodos semnticos que culminaron en la teora
de modelos desarrollada en los aos 50 y 60 junto a sus
discpulos de Berkeley transformaron radicalmente la
metamatemtica, consolidndola como ciencia estricta.
La idea principal es reemplazar los smbolos de una cierta teora por expresiones de otra teora de forma que los
axiomas de la primera se traduzcan en teoremas de la
otra. La teora de modelos estudia las propiedades que
se heredan de unas teoras a otras a lo largo de estas traducciones, y compara los alcances respectivos de teoras
diversas.

46

26.3. TEORA SEMNTICA DE LA VERDAD

47

Suya es una de las primeras demostraciones del teorema Desde un enfoque formalista de las matemticas, el conde la deduccin, con importantes aplicaciones tanto en cepto de verdad parece superuo: lo nico que cuenta es
lgica matemtica como en metalgica.
la aplicacin de las reglas de manipulacin de signos, de
derivacin de unas frmulas a partir de otras. Ms en general, podra decirse que es ocioso preocuparse por lo
26.2.1 Consecuencia lgica
que tradicionalmente se ha llamado verdad "la coincidencia con la realidad: la ciencia ofrece procediEl primer acercamiento de Tarski a la nocin de mientos para demostrar o comprobar enunciados, y decir
consecuencia lgica fue axiomtico: la nocin queda- 'verdadero' sera una forma arcaica o redundante de decir
ra denida por axiomas referidos a la derivacin en un 'demostrado' o 'probado'.
clculo lgico. Sin embargo, argumentos propios y basados en los teoremas de incompletud de Gdel condujeron Pero las limitaciones de los formalismos, que Tarski cona Tarski a admitir que este enfoque no daba cuenta de tribuy a descubrir en los aos 30 junto a Gdel,
todos los casos intuitivos de consecuencia lgica as, Alonzo Church y otros, mostraban que para avanzar
generalizaciones sobre nmeros naturales: en los clculos en matemticas era necesario interpretar (en un modelo)
conocidos puede derivarse para cada nmero la oracin los smbolos del lenguaje de los clculos lgicos por
que arma que satisface una propiedad, pero no la ora- ejemplo, para obtener demostraciones de consistencia de
un sistema formal relativas a otro, una vez que se demoscin que arma que todos los nmeros la satisfacen.
tr que la demostracin absoluta es imposible. Esto suComo alternativa, en su artculo de 1936 On the con- pona recuperar el concepto de verdad para las oraciones,
cept of logical consecuence defendi que la conclusin en el sentido clsico de correspondencia de las oraciode un argumento se sigue lgicamente de sus premisas si nes con sus referentes.
y solo si cada interpretacin de las expresiones no lgicas
que hace verdaderas a las premisas hace verdadera a la Aunque el sentido clsico deba ser recuperado, la exconclusin; por tanto, la explicacin de la consecuencia presin clsica era, segn Tarski, defectuosa: el trmino
correspondencia era como mucho una metfora. Ms
lgica depende de la teora semntica de la verdad.
precisa le resultaba, sin ser completamente adecuada, la
Para que la denicin se aplique a todos los casos bas- concepcin de Aristteles:
ta con admitir como constantes lgicas, segn Tarski, las
siguientes: el cuanticador universal de primer orden, el
Decir de lo que no es que es, o de lo que
condicional, la negacin, los parntesis y la identidad.
es que no es, es falso, y decir de lo que es que
Aun as, se considera que Tarski no dio ningn criterio
es, o de lo que no es que no es, es verdadero.
suciente para distinguir las constantes lgicas de las no
Aristteles, Metafsica
lgicas. El problema le ocup durante toda su vida acadmica; al nal de sta propuso, junto a Steven Givant,
una denicin en dos partes:
.
una nocin lgica es un elemento lingstico inva- Por otro lado, Tarski mostr cmo la preservacin de ese
riante bajo toda permutacin del universo del dis- concepto clsico requera no denirlo para cualquier lencurso sobre s mismo.
guaje o para un lenguaje genuino al que seran tra una constante lgica denota una nocin lgica en to- ducibles todos los dems, sino para lenguajes formales
do universo del discurso y por tanto en toda inter- (de frmulas) interpretables en dominios restringidos: si
la concepcin clsica se aplica a lenguajes que se reeren
pretacin.
ilimitadamente a s mismos por ejemplo, la lengua nativa del terico o de su lector humano se hace posible
caer en contradicciones como la paradoja del mentiroso.

26.3 Teora semntica de la verdad

Puede decirse que Tarski mostr cmo la concepcin clEn 1933 Tarski public en polaco un artculo sobre su de- sica sirve para avanzar desde los formalismos, y cmo los
nicin matemtica de la verdad para lenguajes formales. formalismos sirven para avanzar desde la concepcin clLa inuyente traduccin al alemn se edit en 1936 bajo sica, hacindola ms precisa y cientca.
el ttulo Der Wahrheitsbegri in den Sprachen der deEn la actualidad los nicos lenguajes
duktiven Disziplinen (El concepto de verdad en los lenque tienen una estructura especicada son
guajes de las disciplinas deductivas), y en 1956 se dio a
los lenguajes formalizados de los distintos
conocer la versin inglesa como un captulo de la antosistemas de la lgica deductiva, enriquecidos
loga Logic, Semantics, Metamathematics (1956). Estal vez gracias a la introduccin de ciertos
te trabajo supone un hito para la losofa del siglo XX.
trminos no lgicos. Sin embargo, el campo
Ha tenido gran difusin una presentacin no tcnica, El
de aplicacin de estos lenguajes es bastante
concepto semntico de verdad y los fundamentos de la
extenso; tericamente, podemos desarrollar
semntica, publicada en 1944.

48

CAPTULO 26. ALFRED TARSKI


con ellos varias ramas de la ciencia, por
ejemplo, las matemticas y la fsica terica. El
problema de la denicin de la verdad cobra
un signicado esencial y se puede solucionar
de forma rigurosa solo para aquellos lenguajes
que tengan una estructura exactamente especicada.
Tarski, La concepcin semntica de la verdad
y los fundamentos de la semntica, 1944

acudir a su diccionario ingls-castellano y comprobar si


el resultado de traducir 'the', 'snow', 'is, 'white', por este
orden, da lugar a una verdad castellana.

1 y 1 no son ms que ilustraciones usando lenguas naturales el ingls y el castellano con teora-, que son las que
abren paso a las paradojas. Tarski no crea posible que
se pudiesen formular teoras de la verdad materialmente adecuadas para las lenguas naturales, ni siquiera crea
que el intento tuviera sentido;lo que propuso son teoras
de la verdad para lenguajes formales (de frmulas), en las
que la verdad de las oraciones complejas era funcin de la
26.3.1 Requisitos de una denicin de ver- verdad de oraciones elementales para las que se dene
una interpretacin en el metalenguaje. La concepcin
dad
de Tarski es una concepcin semntica" porque la verdad es en ella funcin de los referentes asignados a los
La aplicacin no paradjica del concepto de verdad decomponentes elementales del lenguaje objeto.
pende de la distincin, tomada de la escuela de David
Hilbert, entre lenguaje objeto para el que se dene un Hay que sealar que no se puede considerar una denicin
concepto de verdad y metalenguaje en el que se de- de la verdad ni 1 ni los resultados de sustituir las variables
ne ese concepto de verdad y que abarca o representa al de 1 por oraciones y sus nombres; estos seran a lo sumo
lenguaje objeto. En lo que sigue, las expresiones entre deniciones parciales para una oracin particular- de la
comillas son nombres del metalenguaje para las oraciones verdad. Una denicin general ser una conjuncin lgica
del lenguaje objeto, y las expresiones de que forma parte de todas estas deniciones parciales.
el entrecomillado son expresiones del metalenguaje.
No cabe una denicin general mediante la cuanticacin
universal de la convencin T: en 'Para todo P, P es verdadero si y solo si P', el alcance de la cuanticacin llega
Adecuacin material
a la oracin, pero no a su nombre, y las interpretaciones
La condicin de adecuacin material de Tarski supone de P no pueden dar lugar a las equivalencias buscadas y
que toda teora lograda de la verdad implica, para cada solo a ellas.
oracin P del lenguaje objeto X para el que se dene la Esto no impide que una teora semntica de la verdad
verdad, que
se pueda aplicar a conjuntos innitos de oraciones -como
cuando se dice Todos los teoremas de T son verdaderos
1. P es verdadera si y solo si P.
o Todo lo que dice Tarski es verdad". Si el predicado
A este requisito se le denomina convencin T (o V, se- verdadero se dene como una redundancia trivial y se
gn la traduccin). As, tomando el ejemplo que Tarski elimina de las ltimas oraciones citadas, el resultado no
hizo famoso, para la oracin La nieve es blanca una equivale a una oracin. Por su parte, la satisfaccin de
hipottica teora de la verdad para el castellano debe im- la convencin T en una denicin de la verdad permite,
plicar que:
dado cualquier dicho de Tarski citado como verdadero,
1. La nieve es blanca es verdadera si y solo si la nieve establecer su equivalente en el lenguaje en que se interpretan los dichos de Tarski -y as en cualquier caso en
es blanca.
que sea posible una denicin adecuada materialmente y
No es una implicacin tan trivial como puede parecer: el formalmente correcta-.
enunciado a la izquierda de si y solo si trata sobre la expresin La nieve es blanca mientras que el enunciado a El entrecomillado no es la nica forma de construir nomla derecha trata sobre la nieve. En todo caso, el enunciado bres de las oraciones del lenguaje objeto. Tambin cabe
de la izquierda y el enunciado de la derecha son equiva- el deletreo, la numeracin de Gdel, la expresin en bits...
lentes segn la concepcin aristotlica que Tarski busca Los recursos para nombrar cada oracin del lenguaje obprecisar, y por tanto las implicaciones son un requisito de jeto determinan la fuerza del metalenguaje.
adecuacin material de la denicin.
La apariencia de trivialidad es menos obvia si tomamos Correccin formal
como lenguaje objeto el ingls y como metalenguaje una
La posibilidad de las antinomias conlleva que una deniversin del castellano que incluye el ingls.
cin debe cumplir, tambin, los siguientes requisitos de
1. The snow is white es verdadera en ingls si y solo si
correccin formal:
the snow is white.
Esto ltimo da la pauta al hablante castellano -con una
teora de lo verdadero en ingls- para saber si lo que ha
dicho cierto ingls -"The snow is white"- es verdadero:

Los nombres de las expresiones del lenguaje objeto


X no pueden formar parte del lenguaje objeto el
castellano como lenguaje objeto puede tratar sobre

26.3. TEORA SEMNTICA DE LA VERDAD

49

la nieve, pero no sobre la oracin La nieve es blan- cada teorema t de T, las oraciones equivalentes '"t es verca"; esto es tema del metacastellano.
dadero'. Ese verdadero estar denido en trminos de
conceptos de una teora ms fuerte que T por ejem La expresin del metalenguaje es verdadero en plo, que trata no solo sobre individuos, sino sobre clases
el lenguaje X -u otros conceptos semnticos de individuos, y por tanto con un lenguaje ms rico.
metalingsticos- no pueden formar parte del len- Si la teora de la verdad no fuera ms fuerte, se violaran
guaje X para el que se dene el concepto de verdad. los requisitos bsicos 'verdadero' se podra denir en
Junto al anterior, este requisito establece que un len- el lenguaje de T.
guaje no puede ser su propio metalenguaje.

Ahora bien, no presupone cualquier lenguaje ms rico,


sino uno que permita la satisfaccin de la condicin T
Los conceptos semnticos no deben ser conceptos dados dos conceptos de verdadero en X, verdadero-1 en
indenidos de la teora de la verdad para X -han de X y verdadero-2 en X, una oracin de X es verdaderaser conceptos denidos en trminos de otros de la 1 si y solo si es verdadera-2; de lo contrario, uno de los
teora; "... es verdadero debe denirse en trminos conceptos no es adecuado. La condicin de adecuacin
material proscribe la opcin entre teoras de la verdad no
no semnticos mientras sea posible-.
equivalentes; toda alternativa debe asignar la misma extensin de lenguaje objeto al concepto 'verdadero'.
si se cumple este postulado, la denicin
Una alternativa a estos requisitos sera, segn Tarski,
de la verdad, o de cualquier otro concepto
denir la verdad en un lenguaje de aplicacin universemntico, cumplir con la funcin que
sal pero no regido por las leyes habituales de la lgide forma intuitiva esperamos de cualquier
ca; por otro lado, la denicin dada por Tarski satisfadenicin; esto es, explicar el signicado del
ciendo estos requisitos permite deducir leyes habituatrmino que se est deniendo haciendo uso
les de la lgica, como el principio de no contradiccin y
de trminos cuyo signicado sea completael principio del tercero excluido, y a partir de ah los conmente claro y unvoco. Y adems tendremos
ceptos de completitud, consistencia y otros propios de la
entonces una garanta de que la utilizacin
metamatemtica y la teora de modelos que permiten
de conceptos semnticos no nos har caer en
clasicar las teoras no semnticas y cada sistema formal
contradicciones.
relacionado. Dado que en la mayor parte de las teoras
Tarski, La concepcin semntica de la verdad
formalizadas T puede denirse el predicado demostray los fundamentos de la semntica, 1944.
ble en T y que puede demostrarse que todas las oraciones
demostrables son verdaderas, existen oraciones verdadeSatisfacer estas condiciones permite evitar la paradoja del ras que no son demostrables pues verdadero en T se
mentiroso, y otras de ms relevancia lgica y matem- dene en una lgica ms potente que la de T.
tica -como la paradoja de Grelling-Nelson y la paradoja
de Richard, relacionadas con otros conceptos semnticos,
como dencin y designacin"-: las expresiones paradjicas nunca se formarn bajo estas condiciones. Pero
entonces debe renunciarse a una teora de la verdad que
sea vlida para cualquier lenguaje. Por ejemplo, una denicin de verdad para el lenguaje de cierta teora de conjuntos no valdr para el lenguaje de una teora sobre esa
teora -sobre conjuntos de conjuntos-.

26.3.2 Esbozo de la denicin de verdad de


Tarski

La denicin de verdadero de Tarski toma como concepto no denido el de satisfaccin"; dado que satisfaccin es un concepto semntico, la completa correccin
formal exige una teora semntica ms amplia. Esta denicin se aplica a todos los lenguajes formalizados conoVisto de otra forma, en el marco de la 'trivial' concepcin cidos en la poca de su formulacin como los de lgica
de Tarski:
de primer orden-.
Las oraciones abiertas o funciones proposicionales sim cualquier teora formalizada no semntica T presu- ples, expresiones como x es blanca, donde x es una
pone un lenguaje ms rico que aquel en el que est variable- son los componentes elementales del lenguaje
formulada la teora; o bien
para el que se dene la verdad; no son ni verdaderas ni
falsas en s mismas, sino satisfechas por unos objetos y
el lenguaje de cualquier teora formalizada no se- no satisfechas por otros.
mntica T debe ser ms dbil que aqul en que pue- Una interpretacin de un lenguaje es una especicaden denirse las condiciones de verdad para dicha cin de los objetos que satisfacen cada componente por
teora.
ejemplo, la nieve para x es blanca". Una funcin proposicional compleja es el resultado de combinar medianPor ejemplo, si T trata de ciertos individuos, T presupone te conectivas lgicas funciones proposicionales simples;
un lenguaje ms rico, en el que pueden formularse, para cada funcin compleja se satisface en funcin de la satis-

50

CAPTULO 26. ALFRED TARSKI

faccin de sus componentes, segn reglas semnticas especicadas por ejemplo, '"x no es blanca es satisfecha
por un objeto si y solo si ese objeto no satisface x es blanca"';'"x es blanca o x es roja es satisfecha por un objeto si
y solo si el objeto satisface alguno de sus componentes.
Una oracin cerrada o sentencia- es una funcin proposicional con nombres de objetos en el lugar de las variables o sin ninguna variable no cuanticada lgicamente;
las oraciones cerradas son las que pueden ser verdaderas
o falsas. En concreto la denicin de verdad de Tarski
arma que una oracin es verdadera en X si y solo si es
satisfecha por todos los objetos con que se ha denido una
interpretacin de X y falsa si no es satisfecha por ninguno.

26.3.3

Inuencia en losofa

La concepcin de Tarski ha dado pie a reexiones loscas como las de Donald Davidson, para quien s es posible aplicar las nociones de Tarski a los lenguajes naturales
si bien no como teora directa de la verdad, sino como
parte de una teora de la interpretacin de esos lenguajes
por sus hablantes y en la medida en que son formalizables
de cierta manera. Karl Popper defendi que la teora
de la verdad de Tarski supona una fundamentacin del
realismo; segn Hartry Field, lo fundamentado a lo sumo era el sicalismo. Richard Merett Montague desarroll una teora matemtica de la semntica de los lenguajes naturales que pretenda dar cuenta de la incapacidad
de los lenguajes naturales como medio para la losofa.
Rudolf Carnap se bas en la concepcin semntica al estudiar las propiedades de los sistemas de lgica inductiva y la posibilidad de inferir leyes universales a partir de
enunciados de observacin. Debe tenerse en cuenta que
las aplicaciones de la concepcin semntica a la losofa
de la ciencia emprica (como las de Carnap o Popper) dependen de la aceptacin de la concepcin lingstica de
las teoras teoras como conjuntos de enunciados,
que ha sido cuestionada por escuelas ms recientes.

26.4 Vase tambin


Neopositivistas Lgicos
Crticas a la inconmensurabilidad
Karl-Otto Apel

26.5 Referencias
Alfred Tarski, (1936) Introduccin a la lgica y a las
ciencias deductivas, Espasa-Calpe, 1985.
Willard v. O. Quine, (1971) Filosofa de la lgica,
Alianza, 1998. Desarrolla una denicin de verdad
lgica basada en Tarski.

Fernando Broncano, La causa de la verdad, en Saber en condiciones: epistemologa para escpticos y


materialistas, Antonio Machado Libros, 2002, pgs.
197/247. Compara la concepcin semntica con
otras nociones de verdad y estudia su rendimiento
en el contexto de una explicacin naturalista del conocimiento.
Cristina Corredor, Signicado, experiencia y verdad, en Filosofa del lenguaje: una aproximacin a
las teoras del signicado del siglo XX, Antonio Machado Libros, 1999, pgs. 142-244. Una revisin
de las consecuencias loscas de la concepcin semntica para Quine, Davidson y el propio Tarski.
Alfonso Garca Surez, La teora semntica de Tarski: en Modos de signicar: una introduccin temtica a la losofa del lenguaje, Tecnos, 1997, pgs.
193/207.
Luis Vega, El anlisis lgico, nociones y problemas:
una introduccin a la losofa de la lgica, UNED,
1987. Discute pormenorizadamente las ideas de
Tarski sobre consecuencia lgica y su trasfondo losco.
Juan Antonio Nicols y Mara Jos Frapolli
(comps.), Teoras de la verdad en el siglo XX, Tecnos, 1997. Antologa de textos que contiene el artculo de Tarski sobre la concepcin semntica de
la verdad y algunas de las reacciones que suscit;
el artculo de Rudolf Carnap contiene una brillante
aplicacin de la convencin T a la claricacin de
un problema losco.

26.6 Enlaces externos


Alfred Tarski, La concepcin semntica de la verdad y los fundamentos de la semntica -traduccin
al castellano-.
Resea en castellano de Alfred Tarski: life and logic
(2004) de Anita Burdman y Solomon Feferman.
Axel Barcel Aspeitia, Resea de Mario GmezTorrente, Forma y modalidad: una introduccin al
concepto de consecuencia lgica, 2000.
Renato Lewin, Lgica algebraica abstracta. Presentacin en castellano del tipo de investigacin lgica
apadrinada por Tarski.

26.7. TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

51

26.7 Text and image sources, contributors, and licenses


26.7.1

Text

Nikoli Vasliev Fuente: http://es.wikipedia.org/wiki/Nikol%C3%A1i%20Vas%C3%ADliev?oldid=75573280 Colaboradores: BOTijo,


Hhmb, CEM-bot, Hlnodovic, Fixertool, Leonpolanco, InaSam, Bagratun, Dinamik-bot, KLBot2, Addbot y Annimos: 1
Geometra no euclidiana Fuente: http://es.wikipedia.org/wiki/Geometr%C3%ADa%20no%20euclidiana?oldid=76656981 Colaboradores: SpeedyGonzalez, HAG, Tano4595, Alonso de Celada, FAR, Pati, RobotQuistnix, Unf, Dibujon, Xareu bs, Yrbot, Davidsevilla, GermanX, Jos., Camima, Paintman, Axxgreazz, Tituslenin, CEM-bot, JMCC1, Davius, Cancerbero sgx, TXiKiBoT, Gustronico, Gerwoman,
AlnoktaBOT, VolkovBot, Queninosta, AlleborgoBot, BotMultichill, PaintBot, Loveless, Rigenea, Gcatalan, DragonBot, Botelln, AVBOT,
Diegusjaimes, CarsracBot, Luckas-bot, Nallimbot, Azofeifa82, Latiniensis, Xqbot, Jkbw, Rubinbot, Altair Lemos, TobeBot, Guill0rtiz,
EmausBot, Kriztoval, Elas, Mmucino, Elartedeesperar, Helmy oved, Legobot, SantoshBot y Annimos: 44
Ernst Schrder Fuente: http://es.wikipedia.org/wiki/Ernst%20Schr%C3%B6der?oldid=69377591 Colaboradores: BOTijo, Ceancata,
Hhmb, CEM-bot, Muro de Aguas, TXiKiBoT, Muro Bot, SieBot, Copydays, Luckas-bot, Amirobot, MystBot, Xqbot, TiriBOT, Ripchip
Bot, AVIADOR, JackieBot, AvocatoBot, Invadibot, Elvisor, Addbot y Annimos: 1
Lgica paraconsistente Fuente: http://es.wikipedia.org/wiki/L%C3%B3gica%20paraconsistente?oldid=78384518 Colaboradores: Julian
Colina, CEM-bot, Thijs!bot, Xenon chile, TXiKiBoT, Mercenario97, Uruk, Muro Bot, PaintBot, Bigsus-bot, BOTarate, DragonBot, PixelBot, Eduardosalg, SilvonenBot, Taty2007, Luckas-bot, Luis Felipe Schenone, Xqbot, Bot0811, TiriBOT, ZroBot, KLBot2, Acratta,
RosenJax y Annimos: 4
Lgica plurivalente Fuente: http://es.wikipedia.org/wiki/L%C3%B3gica%20plurivalente?oldid=67623771 Colaboradores: Hhmb, CEMbot, TXiKiBoT, Uruk, Muro Bot, Cobalttempest, Bjankuloski06es, Dnu72, Ezarate, SpBot, Luckas-bot, Luis Felipe Schenone, EmausBot,
ZroBot, Rezabot, MerlIwBot, KLBot2 y Annimos: 3
Yuri Matiyasvich Fuente: http://es.wikipedia.org/wiki/Yuri%20Matiyas%C3%A9vich?oldid=75573292 Colaboradores: Sabbut, Vivero, RobotQuistnix, Gaudio, Vix929, Rastrojo, TXiKiBoT, Hlnodovic, Fixertool, VolkovBot, Muro Bot, SieBot, Copydays, Luckas-bot,
Bot0811, AstaBOTh15, Dinamik-bot, EmausBot, ZroBot, MerlIwBot y KLBot2
Aleksandr Zinviev Fuente: http://es.wikipedia.org/wiki/Aleksandr%20Zin%C3%B3viev?oldid=77844152 Colaboradores: Robbot, Javierme, Emijrp, Rupert de hentzau, RobotQuistnix, Superzerocool, BOT-Superzerocool, BOTijo, YurikBot, Carmes, KnightRider, CEMbot, Ignacio Icke, Resped, Ilse@, Locovich, Dalobuca, Jos Saba, CommonsDelinker, Hlnodovic, Humberto, Fixertool, Biasoli, Muro
Bot, BOTarate, Fadesga, Baronsamedi, InaSam, Alexbot, Common Good, Luckas-bot, Amirobot, Roferbia, Manuelt15, Botarel, TiriBOT,
TobeBot, Dinamik-bot, Santiago Casuriaga, KLBot2, Jbaceta, Invadibot, Elvisor y Annimos: 13
Vladmir Arnold Fuente: http://es.wikipedia.org/wiki/Vlad%C3%ADmir%20Arnold?oldid=71098100 Colaboradores: Sabbut, RobotQuistnix, Ceancata, Jos., Paintman, Rastrojo, Rosarinagazo, Thijs!bot, TXiKiBoT, Hlnodovic, Gerwoman, Paganel, AlleborgoBot, Muro
Bot, SieBot, Loveless, STBot, Marconim, Copydays, HUB, Veremos, Alexbot, Alex Bakharev, Luckas-bot, MystBot, DiegoFb, ArthurBot,
Juamax, Rubinbot, Ricardogpn, D'ohBot, Wikipediatico, TjBot, EmausBot, TheGustavo1997, KLBot2, MetroBot, Invadibot, Makecat-bot
y Annimos: 6
Mijal Grmov Fuente: http://es.wikipedia.org/wiki/Mija%C3%ADl%20Gr%C3%B3mov?oldid=71373065 Colaboradores: Rosarino,
GermanX, Ceancata, Juan Marquez, Rosarinagazo, Thijs!bot, RoyFocker, TXiKiBoT, Hlnodovic, VolkovBot, Muro Bot, SieBot, Reescribidor, Copydays, Alexbot, SpBot, MelancholieBot, CarsracBot, Common Good, Luckas-bot, Nixn, Manuelt15, Xqbot, Rubinbot, Yerauy,
RedBot, Dinamik-bot, EmausBot, Grillitus, WikitanvirBot, KLBot2, Invadibot, Makecat-bot, YFdyh-bot y Annimos: 6
Maksim Kontsvich Fuente: http://es.wikipedia.org/wiki/Maksim%20Konts%C3%A9vich?oldid=75580310 Colaboradores: Rupert de
hentzau, Ceancata, Morza, JMCC1, Gusgus, TXiKiBoT, Hlnodovic, Gerwoman, VolkovBot, Muro Bot, SieBot, Loveless, STBot, Aleposta,
Copydays, AVBOT, LucienBOT, Luckas-bot, Arla, DiegoFb, ArthurBot, Xqbot, Umburi, Dinamik-bot, EmausBot, Grillitus, Ignacitum,
Invadibot, Addbot y Annimos: 6
Olga Ladzhenskaya Fuente: http://es.wikipedia.org/wiki/Olga%20Lad%C3%BDzhenskaya?oldid=64507832 Colaboradores: Sabbut,
Mariagarcia, JorgeGG, Pilaf, Vivero, Ascnder, Cookie, Tano4595, RGLago, AnTeMi, Porao, Petronas, Rembiapo pohyiete (bot), Caiserbot, Yrbot, BOTijo, Martinmartin, Dove, Warko, AugustoRomero, Retama, TXiKiBoT, Hlnodovic, VolkovBot, SieBot, BOTarate,
Copydays, Luckas-bot, D'ohBot, Pokbot, KLBot2, Addbot y Annimos: 6
Yuri Manin Fuente: http://es.wikipedia.org/wiki/Yuri%20Manin?oldid=77534797 Colaboradores: Sabbut, Ceancata, CEM-bot, Rosarinagazo, Gerwoman, Drinibot, Copydays, Alexbot, Juan Mayordomo, LucienBOT, Luckas-bot, Locobot, Xqbot, EmausBot, ZroBot, Baroc,
KLBot2 y Invadibot
Grigori Margulis Fuente: http://es.wikipedia.org/wiki/Grigori%20Margulis?oldid=65066377 Colaboradores: Drini2, Ceancata, Paintman, Rastrojo, Gusgus, TXiKiBoT, Hlnodovic, Muro Bot, SieBot, BOTarate, Copydays, El Megaloco, Veremos, Juan Mayordomo, DumZiBoT, Luckas-bot, XZeroBot, Xqbot, EmausBot, ChuispastonBot, MerlIwBot, KLBot2 y Addbot
Gleb Nosovski Fuente: http://es.wikipedia.org/wiki/Gleb%20Nosovski?oldid=65010722 Colaboradores: BOTijo, Gaudio, Thijs!bot, Hlnodovic, Aldomp, Copydays, DiegoFb, KLBot2 y Annimos: 1
Andri Okunkov Fuente: http://es.wikipedia.org/wiki/Andr%C3%A9i%20Okunkov?oldid=65049872 Colaboradores: Rupert de hentzau,
Gaeddal, Filipo, Paintman, CEM-bot, Ignacio Icke, Wybot, Hlnodovic, Plux, Synthebot, Muro Bot, SieBot, BOTarate, Copydays, Botito777, Luckas-bot, MystBot, ArthurBot, Xqbot, SassoBot, Rubinbot, DixonDBot, EmausBot, ZroBot, Mentibot, WikitanvirBot, Baroc,
KLBot2 y Addbot
Grigori Perelmn Fuente: http://es.wikipedia.org/wiki/Grigori%20Perelm%C3%A1n?oldid=78195411 Colaboradores: Fibonacci, Sabbut, Riviera, Paz.ar, Aromera, Sms, Tostadora, RGLago, Melocoton, Gons, Marcoscaceres, Ecemaml, LeonardoRob0t, Yrithinnd, Taichi,
Rembiapo pohyiete (bot), Kokoo, Further (bot), RobotQuistnix, Chobot, BOT-Superzerocool, YurikBot, Icvav, GermanX, Ferbr1, KnightRider, Gaudio, Santiperez, Ceancata, Morza, Ephraim33, Banderas, CEM-bot, JMCC1, Davius, Mcetina, Thijs!bot, Aleph0, Tortillovsky,
Cansado, Botones, Gabriel Vidal, Igochan, JAnDbot, Emilioarevalo, CommonsDelinker, TXiKiBoT, Militar11, Katadreue, Hlnodovic,
Zenkor, Gustronico, Joniale, Moustique, Idioma-bot, VolkovBot, Jarm.yo, Technopat, Martiko, Belgrano, Matdrodes, AlleborgoBot, Muro
Bot, J.M.Domingo, BotMultichill, Gerakibot, SieBot, PaintBot, Loveless, Macarrones, Jusore, Bigsus-bot, BOTarate, Correogsk, Copydays, Idleloop, El Megaloco, Kikobot, Garho, Veremos, Eduardosalg, Leonpolanco, Gallowolf, Rlinx, LucienBOT, MastiBot, DumZiBoT,

52

CAPTULO 26. ALFRED TARSKI

Luckas-bot, Xtquique, Nallimbot, FaiBOT, Lufke, ArthurBot, Diogeneselcinico42, Xqbot, Jkbw, Ricardogpn, Kismalac, AstaBOTh15,
D'ohBot, Halfdrag, RedBot, HMC.Puebla, AstroF7, Foundling, EmausBot, ZroBot, Strogo, CocuBot, John PC, Ruos, Invadibot, Senen90, Noisesort, Rotlink, Alehovelez, Addbot, Jess Bueno Urbano y Annimos: 79
Stanislav Smirnov Fuente: http://es.wikipedia.org/wiki/Stanislav%20Smirnov?oldid=64882477 Colaboradores: Copydays, LucienBOT,
Luckas-bot, MystBot, Draxtreme, ArthurBot, Xqbot, TiriBOT, RedBot, EmausBot, ZroBot, KLBot2 y Invadibot
Vladmir Voyevodski Fuente: http://es.wikipedia.org/wiki/Vlad%C3%ADmir%20Voyevodski?oldid=67640896 Colaboradores: BOTSuperzerocool, GermanX, Ceancata, CEM-bot, Jjvaca, Don Sordo, TXiKiBoT, Hlnodovic, Netito777, VolkovBot, Kotor83, AlleborgoBot, SieBot, Drinibot, BOTarate, Copydays, PixelBot, SilvonenBot, Luckas-bot, Nallimbot, Micki, Xqbot, EmausBot, ChuispastonBot,
Invadibot, Addbot y Annimos: 2
Victor Zalgaller Fuente: http://es.wikipedia.org/wiki/Victor%20Zalgaller?oldid=74340801 Colaboradores: Ceancata, Copydays, JaviMad,
Aruizmayo, TiriBOT, HRoestBot, KLBot2 y Annimos: 1
Yem Zelmnov Fuente: http://es.wikipedia.org/wiki/Yefim%20Zelm%C3%A1nov?oldid=65268062 Colaboradores: Ceancata, Filipo,
TXiKiBoT, Hlnodovic, VolkovBot, Muro Bot, SieBot, Loveless, BOTarate, Copydays, El Megaloco, LucienBOT, Common Good, Luckasbot, WikiDreamer Bot, ArthurBot, EmausBot, Baroc, KLBot2, Suhagja, Legobot y Addbot
Jan ukasiewicz Fuente: http://es.wikipedia.org/wiki/Jan%20%C5%81ukasiewicz?oldid=78634497 Colaboradores: Yearofthedragon,
Porao, Kordas, Orgullobot, RobotQuistnix, Alhen, FlaBot, Aliciadr, YurikBot, Mortadelo2005, KnightRider, Gustavo Szwedowski de Korwin, Mynona, CEM-bot, Thijs!bot, Gusgus, TXiKiBoT, Fixertool, Synthebot, SieBot, PaintBot, Copydays, MastiBot, Ptbotgourou, Luis
Felipe Schenone, Andros64, Xqbot, Ammonio, D'ohBot, TiriBOT, TobeBot, TjBot, EmausBot, Badineri, KLBot2, Invadibot, Eyetheunlord
y Annimos: 21
Valor de verdad Fuente: http://es.wikipedia.org/wiki/Valor%20de%20verdad?oldid=77024646 Colaboradores: DefLog, Dodo, Jsanchezes, Chobot, Yrbot, YurikBot, KnightRider, Thijs!bot, JAnDbot, VolkovBot, Irus, Liquid-aim-bot, Muro Bot, SieBot, Sageo, Bjankuloski06es, Dnu72, HUB, PixelBot, UA31, AVBOT, Luckas-bot, ArthurBot, Xqbot, Jkbw, PatruBOT, EmausBot, ZroBot, Tenan, Antonorsi,
Acratta, Minsbot, LlamaAl, Jordanaire, Addbot, Balles2601 y Annimos: 18
Principio del tercero excluido Fuente: http://es.wikipedia.org/wiki/Principio%20del%20tercero%20excluido?oldid=74629858 Colaboradores: Oblongo, Dodo, Ecemaml, Moredan, Er Komandante, Alfredobi, Roblespepe, Davius, Dorieo, Xabier, P.o.l.o., Drake 81, Pabloallo, Gerwoman, Demonacho, Bucephala, VolkovBot, Tlloc, SieBot, Alberto Jos Arias, Botito777, Geronime, DumZiBoT, Luckas-bot,
Latiniensis, Luis Felipe Schenone, Xqbot, Ammonio, TobeBot, RedBot, WikitanvirBot, KLBot2, JYBot, Eyetheunlord y Annimos: 20
Notacin polaca Fuente: http://es.wikipedia.org/wiki/Notaci%C3%B3n%20polaca?oldid=77634343 Colaboradores: GermanX, CEMbot, JAnDbot, TXiKiBoT, Marvelshine, Matdrodes, Shooke, Muro Bot, SieBot, Ensada, Drinibot, Bigsus-bot, DragonBot, Farisori, Global.minimum, Alexbot, Numen17, Louperibot, MastiBot, Diegusjaimes, Luckas-bot, Jkbw, Halfdrag, RedBot, Ripchip Bot, Elhalconingles,
Elvisor, Addbot, Ineditable y Annimos: 17
Escuela de Lepolis-Varsovia Fuente: http://es.wikipedia.org/wiki/Escuela%20de%20Le%C3%B3polis-Varsovia?oldid=67077160 Colaboradores: Kordas, BOT-Superzerocool, Sergio Edgardo Malf, Badineri, Thehelpfulbot y Addbot
Alfred Tarski Fuente: http://es.wikipedia.org/wiki/Alfred%20Tarski?oldid=75932103 Colaboradores: Kordas, Emijrp, RobotQuistnix,
Superzerocool, BOT-Superzerocool, Varano, Ceancata, Jos., Smoken Flames, CEM-bot, Gusgus, JAnDbot, Botx, Marinna, Walking Mind,
CommonsDelinker, TXiKiBoT, MONIMINO, Gerwoman, Muro Bot, SieBot, Nati 75, DaBot, Loveless, Prez Poch, Contribuc, Copydays,
HUB, El Megaloco, Botito777, Abajo estaba el pez, Desde el planeta de los simios, Luckas-bot, Yonidebot, Luis Felipe Schenone, Xqbot,
RedBot, Dhanyavaada, Dinamik-bot, EmausBot, WikitanvirBot, KLBot2, Acratta, Elvisor y Annimos: 8

26.7.2

Images

Archivo:Alfred_Tarski.jpeg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/1d/Alfred_Tarski.jpeg Licencia: GFDL Colaboradores: http://owpdb.mfo.de/detail?photo_id=10093 Artista original: George M. Bergman
Archivo:Andrei_Okounkov.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/5/51/Andrei_Okounkov.jpg Licencia: GFDL
Colaboradores: http://owpdb.mfo.de/detail?photo_id=12871 Artista original: George M. Bergman
Archivo:Commons-emblem-question_book_orange.svg
Fuente:
http://upload.wikimedia.org/wikipedia/commons/1/1f/
Commons-emblem-question_book_orange.svg Licencia: GPL Colaboradores: <a href='//commons.wikimedia.org/wiki/File:
Commons-emblem-issue.svg' class='image'><img alt='Commons-emblem-issue.svg' src='//upload.wikimedia.org/wikipedia/commons/
thumb/b/bc/Commons-emblem-issue.svg/25px-Commons-emblem-issue.svg.png' width='25' height='25' srcset='//upload.wikimedia.
org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/38px-Commons-emblem-issue.svg.png 1.5x, //upload.wikimedia.
org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/50px-Commons-emblem-issue.svg.png 2x' data-le-width='48'
data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/File:Question_book.svg' class='image'><img alt='Question
book.svg' src='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/25px-Question_book.svg.png' width='25'
height='20' srcset='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/38px-Question_book.svg.png 1.5x,
//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_book.svg.png 2x' data-le-width='252'
data-le-height='199' /></a> Artista original: GNOME icon artists, Jorge 2701
Archivo:Commons-logo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain
Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used to be slightly
warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by
Reidab.
Archivo:EfimIZelmanov.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c2/EfimIZelmanov.jpg Licencia: CC BY-SA
2.0 de Colaboradores: Transferred from en.wikipedia; transferred to Commons by User:IngerAlHaosului using CommonsHelper.
Artista original: Gert Martin Greuel. Original uploader was Sorumbatico at en.wikipedia
Archivo:Ernst_schroeder-ueber_die_formalen_elemente_der_absoluten_algebra_title.jpg Fuente: http://upload.wikimedia.org/
wikipedia/commons/0/09/Ernst_schroeder-ueber_die_formalen_elemente_der_absoluten_algebra_title.jpg Licencia: Public domain
Colaboradores: ? Artista original: ?

26.7. TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

53

Archivo:Ernst_schroeder.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/3/34/Ernst_schroeder.jpg Licencia: Public domain Colaboradores: ? Artista original: ?


Archivo:Flag_of_Poland.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/12/Flag_of_Poland.svg Licencia: Public domain Colaboradores: Own work, modied color values by text substitution in the existing le Artista original: Mareklug, Wanted
Archivo:Flag_of_Russia.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/f/f3/Flag_of_Russia.svg Licencia: Public domain
Colaboradores: . : (Blue - Pantone 286 C, Red - Pantone 485 C)
[1][2][3][4] Artista original: Zscout370
Archivo:Flag_of_the_Soviet_Union.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/a/a9/Flag_of_the_Soviet_Union.svg
Licencia: Public domain Colaboradores: http://pravo.levonevsky.org/ Artista original: see below
Archivo:Flag_of_the_United_States.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/a/a4/Flag_of_the_United_States.
svg Licencia: Public domain Colaboradores: SVG implementation of U. S. Code: Title 4, Chapter 1, Section 1 [1] (the United States
Federal Flag Law). Artista original: Dbenbenn, Zscout370, Jacobolus, Indolences, Technion.
Archivo:Grigory_Margulis.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/19/Grigory_Margulis.jpg Licencia: CCBY-SA-3.0 Colaboradores: http://owpdb.mfo.de/detail?photoID=5596 Artista original: George M. Bergman
Archivo:Hyperbolic_tiling_omnitruncated_3-7.png Fuente: http://upload.wikimedia.org/wikipedia/commons/a/ad/Hyperbolic_
tiling_omnitruncated_3-7.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Jan_ukasiewicz.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/d2/Jan_%C5%81ukasiewicz.jpg Licencia:
Public domain Colaboradores: Ilustrowany Kurier Codzienny 11 1935 see also http://www.audiovis.nac.gov.pl/obraz/97484/
0207c1bdd1bc17a8a73b93052b522107/ Artista original: unknown-anonymous
Archivo:Kazimierz_Twardowski_1933.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/d3/Kazimierz_Twardowski_
1933.jpg Licencia: Public domain Colaboradores: Kazimierz Twardowski, O dostojestwie uniwersytetu, Pozna 1933, frontyspis Artista
original: Nieznany/Unknown
Archivo:MaximKontsevich.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c3/MaximKontsevich.jpg Licencia: CC BYSA 2.0 de Colaboradores: Transferred from en.wikipedia; transferred to Commons by User:Rambo{}s Revenge using CommonsHelper.
Artista original: Gert-Martin Greuel. Original uploader was Sorumbatico at en.wikipedia
Archivo:Mikhal_Gromov.jpeg Fuente: http://upload.wikimedia.org/wikipedia/commons/3/39/Mikha%C3%AFl_Gromov.jpeg Licencia: CC BY-SA 2.0 de Colaboradores: Transferred from en.wikipedia to Commons by User:Berichard using CommonsHelper. Artista
original: Gert-Martin Greuel (Mathsci at en.wikipedia)
Archivo:Noneuclid.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/7/78/Noneuclid.svg Licencia: CC-BY-SA-3.0 Colaboradores:
Noneuclid.png Artista original:
derivative work: Pbroks13 (talk)
Archivo:P1S2all.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/9/9e/P1S2all.jpg Licencia: CC-BY-SA-3.0 Colaboradores: Created using SingSurf, JavaView and Gimp. Transferido desde eo.wikipedia a Commons. Artista original: Salix alba
Archivo:Perelman,_Grigori_(1966).jpg
Fuente:
http://upload.wikimedia.org/wikipedia/commons/4/43/Perelman%2C_Grigori_
%281966%29.jpg Licencia: GFDL Colaboradores: Mathematisches Institut Oberwolfach (MFO) Artista original: George M. Bergman
Archivo:Prefix-dia.png Fuente: http://upload.wikimedia.org/wikipedia/commons/0/09/Prefix-dia.png Licencia: Public domain Colaboradores: made by me Artista original: blahedo
Archivo:Spanish_Wikiquote.SVG Fuente: http://upload.wikimedia.org/wikipedia/commons/1/13/Spanish_Wikiquote.SVG Licencia:
CC BY-SA 3.0 Colaboradores: derived from Wikiquote-logo.svg Artista original: James.mcd.nz
Archivo:Sphere_wireframe_10deg_6r.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/7/7e/Sphere_wireframe_10deg_
6r.svg Licencia: GFDL Colaboradores: Trabajo propio Artista original: Geek3
Archivo:Stanislav_Smirnov.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2c/Stanislav_Smirnov.jpg Licencia: CC
BY-SA 2.0 de Colaboradores: Crop from http://owpdb.mfo.de/detail?photo_id=10075 Artista original: Oberwolfach Photo Collection
Archivo:Victor_Abramovich_Zalgaller_2006_09_14.jpeg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/00/Victor_
Abramovich_Zalgaller_2006_09_14.jpeg Licencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Vassilii Khachaturov
<vassilii@tarunz.org> (BACbKA)
Archivo:VladimirVoevodsky.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/7/79/VladimirVoevodsky.jpg Licencia: CC
BY-SA 2.0 de Colaboradores: http://owpdb.mfo.de/detail?photo_id=13818 Artista original: Schmid, Renate
Archivo:Vladimir_Arnold-1.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/4/42/Vladimir_Arnold-1.jpg Licencia:
GFDL Colaboradores: http://www.mccme.ru/arnold/pool/original/VI_Arnold-05.jpg Artista original:
Archivo:Yuri_I._Manin.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/e/ea/Yuri_I._Manin.jpg Licencia: CC BY-SA 2.0
de Colaboradores: http://owpdb.mfo.de/detail?photo_id=2734 Artista original: Jacobs, Konrad
Archivo:Yuri_Matiyasevich._Portrait_1969.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/8/83/Yuri_Matiyasevich.
_Portrait_1969.jpg Licencia: CC BY 3.0 Colaboradores: Page, le (ti, 9,7 Mb) Artista original: Yuri Matiyasevich

26.7.3

Content license

Creative Commons Attribution-Share Alike 3.0