de
Barcelona, diciembre de 2003
Nombre y apellidos
Documento Nacional de
Identidad
36.460.793ÐC. Expedido en Barcelona el 02-05
2000.
Fecha y Lugar de Nacimiento
7
de mayo de 1942
Sant
Feliu de Guixols, Girona.
Domicilio actual
Avenida
Pompeu Fabra 15--17, 7¼ 2», escalera B.
08024
Barcelona.
Tel. 932103835
pla@mat.ub.es
Profesor titular de Universidad
Departamento
de Lgica, Historia y Filosofia de
la Ciencia
Adscrito
a la Facultad de Matemticas
Universidad
de Barcelona.
Ttulo
expedido por el Ministerio de Educacin y Ciencia
10
de Setiembre de 1970
Obtenido
el 10 de octubre de 1970
Ttulo
de la Tesis
Contribuci a l'estudi
de les Estructures algebraiques
dels sistemes lgics deductius
Director
Francesc
d'Asss Sales i Valls
Calificacin:
Sobresaliente
Cum Laude
8
de febrero de 1983.
PUESTOS DOCENTES DESEMPEADOS
Profesor
Ayudante Contratado, dedicacin normal
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
Ayudante Contratado, dedicacin normal
Facultad
de Ciencias
Universidad
Autnoma de Barcelona
Profesor
Adjunto Contratado, dedicacin plena
Facultad
de Ciencias
Universidad
Autnoma de Barcelona
Encargado
de curso, dedicacin C
Facultad
de Matemticas
Universidad
de Barcelona
Facultad
de Ciencias
Universidad
Autnoma de Barcelona
Profesor
Adjunto Contratado, dedicacin exclusiva
Facultad
de Matemticas
Universidad de Barcelona
Profesor
Adjunto Contratado, dedicacin plena
Facultad
de Ciencias
Universidad
Autnoma de Barcelona
Profesor
Adjunto contratado, dedicacin exclusiva
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
Adjunto contratado, dedicacin normal\\
Escuela
Tcnica Superior de Arquitectura
Universidad
Politcnica de Catalua
Profesor
Adjunto contratado, dedicacin exclusiva
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
Encargado de curso, dedicacin normal
Escuela
Tcnica Superior de Arquitectura
Universidad
Politcnica de Catalua
Encargado
de curso, dedicacin C
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
Encargado de curso, dedicacin normal
Escuela
Tcnica Superior de Arquitectura
Universidad
Politcnica de Catalua
Encargado
de curso, dedicacin C
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
adjunto contratado, dedicacin completa
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
adjunto interino, dedicacin completa
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
agregado interino, dedicacin completa
Facultad
de Matemticas
Universidad
de Barcelona
\
Profesor
adjunto contratado, dedicacin completa
Facultad
de Matemticas
Universidad
de Barcelona
Profesor
Titular de universidad, dedicacin completa
Departamento
de Lgica Historia y Filosofa de la
Ciencia
Facultad
de Matemticas.
Universidad
de Barcelona
Toda mi actividad
docente la he realizado en la enseanza universitaria.
En primer lugar, al
inicio de mi carrera docente, en el Instituto Qumico de Sarri y en la
Universidad Autnoma de Barcelona de la cual form parte del profesorado
fundacional, los tres primeros aos de su existencia. A partir del curso 1973Ð74, mi tarea docente se ha realizado
en la Universidad Politcnica de
Catalua y en la Universidad de Barcelona. A partir del ao 1975, mi
tarea docente se ha realizado exclusivamente en la Universidad de
Barcelona. Toda esta tarea se
puede resumir en grandes bloques temticos atendiendo a las materia impartidas:
a
la formacin matemtica bsica de estudiantes de otras li-
cenciaturas:
arquitectura, ciencias economicas, fsicas, qu-
micas,
bio\-loga y geologa.
Los
programas eran los normales de Matemticas gene-
rales,
Anlisis Matemtico
I, Anlisis Matemtico II, çlge-
bra
Lineal.
Clases
prcticas y tericas para estudiantes de la Facultad
de
Matemticas de primer cicle: Topologia (problemas),
Lgica (problemas), Lgica
Matemtica,
Introduccin a las
Probabilidades y a la Estadstica.
Durante
cuatro cursos acadmicos, clases prcticas y teri-
ricas
de segundo ciclo para estudiantes de la Facultad de
A
lo largo de unos quince cursos acadmicos, clases prc-
ticas
y tericas de segundo ciclo para estudiantes de la Fa-
cultad
de Matemticas, especialidad Matemtica Funda-
merntal: Fundamentos de la Matemtica I, Fundamentos
de
la Matemtica II,
que se llamaran, aos ms tarde, L-
gica
Matemtica I,
Lgica Matemtica II.
Desde
1990, clases prcticas y tericas de segundo cicle pa-
ra
estudiantes de la Facultad de Matemticas, especialidad
Matemtica
Fundamental:
Historia de las Matemticas I,
Historia
de las Matemticas II,
Historia de
las Matemti-
cas
de la Revolucin francesa
.
Clases
prcticas y tericas de primer ciclo de una asignatura
optativa
semestral del nuevo plan de estudios: Los Nmeros.
Una
aproximacin heurstica a las Matemticas.
Clases
prcticas y tericas de segundo ciclo de una assigna-
tura
optativa semestral de la Ingeniera Tcnica de Inform-
tica
de Sistemas: Una aproximacin a la Historia de los Al-
goritmos.
Clases
tericas y de laboratorio de pre-licenciatura: Intro-
duccin
a la Metodologa matemtica.
Assignaturas de Ingeniera Qumica
Clculo
Infinitesimal 1
Primer
ciclo
Instituto
Qumico de Sarri: 1969--1970; 1970-1971
Assignaturas de Licenciatura en Ciencias
Econmicas
Anlisis
Matemtico 1
Primer
ciclo
Facultad
de Econmicas (UB): 1969-1970; 1970-1971
Anlisis
Matemtico 2
Primer
ciclo
Facultad
de Econmicas (UB): 1971-1972
Assignaturas de Licenciatura de Biologa
Matemticas
Generales
Primer
ciclo
Facultad
de Ciencias (UAB): 1969-1970; 1970-1971
Matemticas
para Bilogos
Primer
ciclo
Facultad
de Biologa (UB): 1975-1976
Assignaturas de Arquitectura
çlgebra
lineal
Primer
ciclo.\\
Escuela
Superior de Arquitectura (UPC): 1972-1973
Clculo
1
Primer
ciclo
Escuela
Superior de Arquitectura (UPC): 1972-1973
Clculo
2
Primer
ciclo
Escuela
Superior de Arquitectura (UPC): 1973-1974
Assignaturas de Licenciatura de Fsicas
Mtodos
Matemticos de la fsica 1
Primer
ciclo
Facultad
de Fsicas (UB): 1974-1975
Ampliacin
de Matemticas
Segundo
ciclo
Facultad
de Fsicas (UB): 1975-1976
Assignaturas de Licenciatura de Matemticas
Generales:
çlgebra
lineal
Primer
ciclo
Facultad
de Ciencias (UAB): 1971-1972
Anlisi Matemtico 1
Primer
ciclo
Facultad
de Ciencias (UAB): 1971-1972
Facultad de Matemticas (UB): 1974-1975
Matemticas
generales
Primer
ciclo
Opcin Estadstica
Clculo
de probabilidades y Estadstica matemtica
Primer
ciclo
Facultad
de Matemticas (UB): 1976-1977; 1979-1980
1980-1981;
1981-1982; 1982-1983; 1983-1984.
Teora
de la decisin
Segundo
ciclo
Facultad
de Matemticas (UB): 1976-1977;1977-1978
1978Ñ1979
Estadstica
atemtica
Primer
ciclo
Facultad
de Matemticas (UB): 1977-1978
Opcin Lgica Matemtica
Lgica
matemtica
Primer
ciclo
Facultad
de Matemticas (UB): 1975-1976; 197-1977
Fundamentos
de la matemtica 1
Segundo
ciclo
Facultad
de Matemticas (UB): 1977-1978; 1978-1979
Fundamentos
de la matemtica 2
Segundo
ciclo
Facultad
de Matemticas (UB): 1979-1980;1980-1981;
1981-1982;
1982-1983
Lgica
matemtica 1
Segundo
ciclo
Facultad
de Matemticas (UB): 1983-1984; 1984-1985;
1989-1990
Lgica
matemtica 2
Segundo
ciclo
Facultad
de Matemticas (UB): 1985-1986;1986-1987
Teora
de modelos e indecidibilidad
Segundo ciclo
Facultad
de Informtica (UIB): 1998-1999
Opcin Historia de la Matemtica
Historia
de las matemticas
Segundo
ciclo
Facultad
de Matemticas (UB): 1984-1985;1985-1986;
1986--1987;
1987--1988; 1988-1989
Historia
de las matemticas 1
Segundo
ciclo
Facultad
de Matemticas (UB): 1990-1991;1992-1993;
1994-1995;
1996-1997; 1998-1999; 2000-2001
Historia
de las matemticas 2
Segundo
ciclo.\\
Facultad
de Matemticas (UB): 1991-1992;1993-1994;
1995-1996;
1997-1998; 1999-
Los
Nmeros. Una aproximacin a la historia de la mate-
mtica
Primer
ciclo
Facultad
de Matemticas (UB): 1992-1993;1993-1994;
1994-1995; 1995-1996; 1996-1997;
1997-1998;1998-
1999;1999-2000; 2000-2001; 2001-2002; 2002-
2003
Pre-licenciatura
Los
nmeros y el infinito
Curso
cero
Facultad
de Matemticas (UB): 1995-1996; 1996-1997
Curso
de prelgebra y preclculo
Curso
cero
Facultad
de Matemticas (UB): 1997-1998
Introduccin
al lgebra y al clculo
Curso
cero
Facultad
de Matemticas (UB): 1998-1999; 19992000
Introduccin
a la Metodologa matemtica
Curso
cero
Facultad
de Matemticas (UB): 2001-2002; 2002-2003
Assignaturas de la Ingeniera tcnica de
Informtica de Sistemas
Una
aproximacin histrica a los Algoritmos
Segundo
ciclo
Facultad
de Matemticas (UB): 2002-
Cursos de postgrado
Tpicos
de Historia de la matemtica (21 crditos)en el
Curso
de postgrado Formaci en Matemtica per a
l'educaci
secundria (coordinado
por J Pla i Carrera)
Facultad
de Matemticas (UB): 1994-1995; 1995-1996;
1996--1997
Assignaturas de Llibre eleccin de
Universidad
El
clcul infinitesimal al segle xvii
En
el curso de libre eleccin de la Universidad de
Barcelona
Histria de la ciencia
Universidad de Barcelona:1994-1995
Aspectos
filosficos y epistemolgicos de la matemtica
En
el curso de libre eleccin de la Universidad de Bar-
ce
lona: Histria de la ciencia
Universidad
de Barcelona: 1998-1999; 1999-2000
Ëlgebres
de Hilbert 1: lgiques polivalents
Facultad
de Matemticas
Universidad
de Barcelona: 1976-1977
Ëlgebras
de Hilbert 2
Facultad
de Matemticas
Universidad
de Barcelona: 1977-1978
Ëlgebres
mondiques i lgica modal 1
Facultad
de Matemticas
Universidad
de Barcelona: 1978-1979
Ëlgebres
mondiques i lgica modal 2
Facultad
de Matemticas
Universidad
de Barcelona:1979-1980
Ëlgebres
cildriques
1
Facultad
de Matemticas
Universidad
de Barcelona:1980-1981
Ëlgebres
cildriques 2
Facultad
de Matemticas
Universidad
de Barcelona: 1981-1982
No-estndard
Anlisis
Facultad
de Matemticas\\
Universidad
de Barcelona: 1983-1984
Les
Matemtiques del segle xvii
Facultad de Matemticas
Universidad
de Barcelona: 1985-1986
Recursividad
General
Programa Lgica
Matemtica
(bienio 1988-1990)
Departamento
de Lgica, Historia y Filosofa de la
Ciencia
Universidad
de Barcelona: 1988-1989: 1989-1990
La
teoria de conjunts: perspectiva histrica
Programa
Lgica pura y aplicada (bienio 1989-1991
Departamento de
Lgica, Historia y Filosofa de la
Ciencia
Universidad
de Barcelona: 1989-1990
Crisis
epistemolgicas de las Matemticas
Programas
Lgica pura y aplicada y Filosofa de la
ciencia (bienio1991Ñ1993)
Departamento
de Lgica, Historia y Filosofa de la
Ciencia
Universidad
de Barcelona: 1991-1992
La
Matemtica en el siglo xvii
Programas
de doctorado Filosofa de la ciencia (Uni-
versidad
de Barcelona) y Historia de les ciencias (Uni-
versidad
Autnoma de Barcelona) (bienios 1994-1996)
Primer
curso: De Descartes a Pascal
Segundo
curso: De Newton i Leibniz a Euler
Departamento
de Lgica, Historia y Filosofa de la Ciencia
Universidad
de Barcelona:1994-1995; 1995-1996
El
clculo en el siglo
xvii
Programas
de doctorado Filosofa de la ciencia (Uni-
versidad
de Barcelona) y Historia de les ciencias (Uni-
versidad Autnoma de
Barcelona) (bienios 1996-1997;
1998-2000)
Primer
curso: La Derivada en el siglo xvii
Segundo
curso: La integral en el siglo xvii
Departamento de Lgica,
Historia y Filosofa de la
Ciencia
Universidad de
Barcelona: 1996-1997; 1997-1998;
1997--1998;
2000-2001
Les matemtiques de Fermat
Programas
de doctorado interuniversitario (Universidad
de
Barcelona y Universidad Autnoma de Barcelona)
Filosofa
e Historia de la ciencia (bienio2001-2003)
Universidad
de Barcelona: 2001-2002
Historia
de la matemtica: el nmero natural de la Anti-
gedad
al siglo xix
Programas
de doctorado interuniversitario
(Universidad
de
Barcelona y Universidad Autnoma de Barcelona)
Filosofa
e Historia de la ciencia (bienio2001-2003)
Universidad
de Barcelona:2002-2003
La obra matemtica de Pierre de Fermat
Programas
de doctorado interuniversitario (Universidad
de
Barcelona y Universidad Autnoma de Barcelona)
Filosofa
e Historia de la ciencia (bienio2003-2005)
Universidad
de Barcelona: 2003-2004
Una aproximaci a la Histria de lÕlagebra
Programas
de doctorado interuniversitario (Universidad
de
Barcelona, Universidad Autnoma de Barcelona y
Universidad
Pompeu Fabra)
Filosofa
e Historia de la ciencia (bienio2003-2005)
Universidad
de Barcelona: 2004-2005
Mi actividad
investigadora ha ido muy ligada a mi actividad docente y versa en tres campos: lgica
algebraica, aspectos histricos de la
lgica, aspectos histricos
de la matemtica.
Los campos de
investigacin
corresponden a la clasificacin de la AMS: A12, A30
Algunos de los
resultados ms notables de mi investigacin, agrupados de acuerdo con los
perodos de los proyectos de investigacin, son los siguientes:
1971Ð1974 Estudios de doctorado y de los textos
de lgica algebriaca de Francisco de Ass Sales, Alfred Tarski, Antonio
Monteiro, Helena Rasiowa, Roman Sikorski, y elaboracin de la tesis doctoral,
leda en 1975.
De esta poca son los
artculos [76a], [76b], y [76c].
1975Ð1982 Profundizacin en el estudio de la
lgica algebraica,
operadores consecuencia,
prelgebras y lgebras de Hilbert, negaciones en
retculos, prelgebras y
lgebras de Hilbert.
De esta poca son los
artculos [77a], [77b], [78a],
[78b], [78c], [79a], [79b], [79c], [79d], y [80b].
1983Ð1986 Las contribuciones de Alfred Tarski en
la lgica algebraica i una mayor profundizacin en el conocimiento global de
esta lgica. De esta poca son los
artculos [83a], [83b], [84a], [84b], [84d], [85a] y [86a].
Corresponde a este perodo la direccin de la tesis de Carles Rfels i Pallarola.
1987Ð1990 Empieza mi inters por las cuestiones
histricas de la lgica.
De esta poca son
los artculos [87a], [87b], [88a],
[88b], [89b], [89c], [89d], [89e],
y [90a].
1991Ð1994 Profundizacin en las cuestiones relativas
a la historia de la
teora de conjuntos y,
en particular, en George Cantor, Alfred Tarski y Richard Dedekind.
De esta poca son
los artculos [91a], [92a], [92b],
[93a], [93d], [94b], [94c].
Corresponden a este
perodo la direccin de las tesis de Enrique Droeven y Carlos Gmez.
1995Ð1998 Profundizacin en la historia de las
matemticas, en particular la obra de Arquimedes, Ren Descartes, y Pierre de
Fermat, as como el desarrollo del concepto de nmero como motor de intuiciones
matemticas.
Corresponden a este
perodo [95a], [96a], [96b], [98a], y [98b].
1999Ð Estudio de la Gomtrie de Ren Descartes, de
la obra de
Pierre de Fermat, de
Toms Cerd, de David Hilbert, etc.
De este perodo son
[98c], [99a], [99b], [01a], [01b], [02a], [03a], y [03b].
Corresponden a este
perodo la direccin de las tesis
de Carlos Dorce Polo y Joan Rossell i Moia.
Los trabajos citados corresponden a los tems de los apartados correspon-dientes a libros y artculos en revistas.
PUBLICACIONES EN
LIBROS}}
Estan dispuestos de
acuerdo con el ao de su publicacin, anteponiendo L (Libro)
[75a] Pla
i Carrera, Josep
ÒLgica
matemtica y teora de conjuntsÓ
Enciclopedia
Temtica Planeta,
I. Las
Matemticas,
64-84
Barcelona
1975
Isbn.
84-320-0430-8; 84-320-0431-6
[75b] Pla
i Carrera, Josep y Esteva Messeguer, Francesc
ÒLos
nmerosÓ
Enciclopedia
Temtica Planeta,
I. Las
Matemticas,
84-101
Barcelona
1975
Isbn.
84-320-0430-8; 84--320-0431-6
[75c] Pla
i Carrera, Josep
ÒAnlisis
realÓ
Enciclopedia
Temtica Planeta,
I. Las
Matemticas,
162-
199
Barcelona
1975
Isbn.
84-320-0430-8; 84-320-0431-6
[84] Pla
i Carrera, Josep
Las
matemticas: una historia de sus conceptos, pp. 142
Biblioteca
temtica
Editorial Montesinos
Barcelona
1984
Isbn.
04.85859-77-4
[84b] Pla
i Carrera, Josep
ÒEls
orgens de la teoria cantoriana de conjuntsÓ
Matemtiques
dels segle xix.
MR.
87b:01024 (Editor por Manuel Castellet i Solans)
Publicacions
de la Societat Catalana de Cincies Fsiques,
Qumiques
i Matemtiques, 1-12
Barcelona
1984.\\
Isbn.
84-7283-058-6
[84c] Pla
i Carrera, Josep
ÒComentaris
a certes lmines trobades a MallorcaÓ
Collectnea
Paleogrfica de la Corona d'Arag, pp.5
(Editora
Josefina Mateu i Ibars.)
Edicions
de la Universidad de Barcelona
Barcelona
1984
Isbn.
84-600-2109-2
[85] Pla
i Carrera, Josep
ÒUna
formalitzaci del sistema S1¼ sense regles de subs-
tituciÓ.
Memorial
a Francesc d'Asss Sales i Valls, 130-134
(Coordinador
de Josep Pla i Carrera)\\
Publicacions
i Edicions de la Universidad de
Barcelona\
Barcelona
1985\\
Isbn.
84-7528-164-8
[89] Pla
i Carrera, Josep
ÒMatemtica
GeneralÓ
Historia
General de las Ciencias de Ren Taton, 18, 9-21
Editorial
Orbis, S.A.
Barcelona
1988-89\\
Isbn. 84-402-0158-3
(Obra completa); 84-402-0200-6 (t. 18)
[91a] Pla
i Carrera, Josep\\
Llions
de Lgica Matemtica. Primera i Segona Part,
pp.
470
PPU.
Promocions i Publicacions Universitries, S.A.
Barcelona
1991\\
Isbn.
84-7665-784-6
[93a] Pla
i Carrera, Josep
Axiomes
alternatius de la teoria de conjunts i llur influncia
en
matemtiques
Premi
Ferran Sunyer i Balaguer 1992
Arxius
de les seccions de cincies, cvii
Institut
dÕEstudis Catalans
Barcelona
1992\\
Isbn.
84-7283-256-2
[93b] Pla
i Carrera, Josep
(en
colaboracin de Llus Bibiloni, Josep Gran, Ignasi
Mundet,
Jaume Parads, Griselda Pascual, Montserrat
Rasclosa,
Pelegr Viader)
Frum
de Problemes.
Cursos 1992-1993 y 1993-1994, pp.
61
Publicacions
de lÕInstitut dÕEstudis Catalans
Barcelona
1993
[93c] Pla
i Carrera, Josep
(en
colaboracin de Llus Bibiloni, Josep Gran, Ignasi
Mundet,
Jaume Parads, Griselda Pascual, Montserrat
Rasclosa,
Pelegr Viader)
Frum
de Problemes. Solucions dels problemes proposats el
curs
1993--1994,
pp.75
Publicacions
de lÕInstitut dÕEstudis Catalans
Barcelona
1993
[93/02a] Pla
i Carrera. Josep
ÒAnisi
CombinatriaÓ, 239-254
Sessions preparatries per a l'Ompada matemtica
(Coordinador
Josep Gran)
Publicacions
de lÕInstitut dÕEstudis Catalans
Barcelona
1993-2002
Isbn.
de la edicin de 1999: 82-7283-458-1
[93/02b] Pla
i Carrera. Josep
`ÓEl
principi de les casellesÓ, 239-254
Sessions preparatries per a l'Ompada matemtica
(Coordinador
Josep Gran)
Publicacions
de lÕInstitut dÕEstudis Catalans
Barcelona
1993-2002
Isbn.
de la edicin de 1999: 82-7283-458-1
[93/02c] Pla
i Carrera. Josep
ÒProbabilitatÓ,
263-276
Sessions preparatries per a l'Ompada matemtica
(Coordinador
Josep Gran)
Publicacions
de lÕInstitut dÕEstudis Catalans
Barcelona
1993-2002
Isbn.
de la edicin de 1999: 82-7283-458-1
[98a] Pla
i Carrera, Josep
Damunt
les espatlles dels gegants, pp. 282
Premi
de Literatura cientfica 1997
Fundaci
Catalana per a la Recerca
Edicions
de la Magrana
Barcelona
1998
Isbn.
84-8264-086-0
[98b] Pla
i Carrera, Josep
ÒEls
matemtics i les matemtiques a la frontera del 2000Ó
Responsabilitat
i Canvi,
19-26
(Direcci
Eduard Bonet i Josep A. Plana)
Fundaci
Catalana per a la Recerca
Edicions
de la Magrana
Barcelona
1998
Isbn.
84-8264-086-0
[99a] Pla
i Carrera, Josep y Viader i Canals, Pelegr
Ren
Descartes. La geometria. Traducci, introducci i no-
tes
Publicacions
de l'Institut dÕEstudis Catalans
Barcelona
1999
Isbn.
84-7283-453-0
[00a] Pla
i Carrera, Josep
ÒAlguns
resultats de la matemtica del segle xxÓ, 303-348
10
impactes de la cincia del segle xx
(Editor
Joaqum Pla i Brunet)
Eumo
Editorial (Universidad de Vic)
Vic
2000
Isbn.
84-7602-569-6
Traduccin
castellana,
10
impactos de la ciencia del siglo xx
Fondo
de Cultura Econmico
Madrid
2003
Isbn.
84-375-0524-0
[01a] Pla
i Carrera, Josep\\
ÒMatemtiques:
Naturalesa, Art i espionatgeÓ
Novembre
Matemtic
Grfiques
Bigas
Sant
Feliu de Guixols 2001
Depsito
Legal: Gi-1294-01
[02a] Pla
i Carrera, Josep
Notes per a unes classes de Teoria de Models i Indecidi-
bilitat
Universidad
de les Illes Balears
Palma
2002
isbn.
84-7632-763-3
[02b] Pla
i Carrera, Josep
ÒAspectes
culturals i educatius relacionats amb la societat
de
la informaci i la tecnologiaÓ
Reptes i Problemes. L'impacte de la Societat de la Informa-
ci, 41-50
(Direcci
Eduard Bonet i Jordi Mas)
Fundaci
Catalana per a la Recerca
Barcelona
2002
Isbn.
84-89570-25-6.
[76a] Pla
i Carrera, Josep
ÒContribucin
al estudio de las estructuras algebraicas de
los
sistemas lgicos deductivosÓ
Serie
Universitaria,
8,
pp. 50
Fundacin
ÒJuan MarchÓ
Madrid
1976
[76b] Pla
i Carrera, Josep
(con
Cascante Dvila, Joaqun)
ÒPrecisiones
en torno del criterio CST 6 del captulo IV de
Thorie
des ensembles
de Nicholas BourbakiÓ (abstract)
Publicaciones
del Instituto ÒJorge JuanÓ de Matemticas
Consejo
Superior de Investigaciones Cientficas, 291-294.
Madrid
1976.
[MR.
81m: 06022]
[76c] Pla
i Carrera, Josep
ÒOn
negations in latticesÓ.
Publicaciones
del Instituto ÒJorge JuanÓ de Matemticas
Consejo Superior de Investigaciones Cientficas,
354-366
Madrid
1976
[MR.
81m: 06022.]
[77a] Pla
i Carrera, Josep
ÒSobre
las relaciones de orden y las estructuras de HilbertÓ
Publicaciones de la Seccin de Matemticas de la Universi-
dad de Zaragoza, 1 (1977), 525-537
[77b] Pla
i Carrera, Josep y Verd i Solans, Ventura
ÒSobre
pruebas en s-lgebras de probabilidad
mtricaÓ
Publicaciones de la Seccin de Matemticas de la Universi-
dad de Zaragoza, 1, (1977), 721-729
[78a] Pla
i Carrera, Josep
ÒSobre
l'estructura reticular de les lgebres de HilbertÓ (abs-
tract)
Publicaciones
del Instituto ÒJorge JuanÓ de Matemticas
Consejo
Superior de Investigaciones Cientficas, 209-210.
Madrid,
1978
[78b] Pla
i Carrera, Josep
ÒSobre
reticles de HilbertÓ
Publicaciones
de Matemticas.
Universidade de Aveiro, 1,
(1978),
47--60.
[78c] Pla
i Carrera, Josep y Verd i Solans, Ventura
ÒTeorema
d'adequaci de Gdel a travs de les lgebres de
BooleÓ
Publicaciones
de Matemticas. Universidade de Aveiro, 3,
(1978),
848-856
[79a] Pla
i Carrera, Josep
ÒContribuci
a l'estudi algebraic dels sistemes lgics deduc-
tiusÓ
Publicacions
de la Universidad de Barcelona.
Barcelona
1979
[79b] Pla
i Carrera, Josep
ÒAlguns
aspectes actuals de la Lgica AlgebraicaÓ
Publicacions
de Matemtiques de la Universidad Autnoma
de
Barcelona,
12,
(1979), 21-36
[79c] Pla
i Carrera, Josep
ÒA
formalization of the Lewis System S1 without Rules of
SubstitutionÓ
Stochastica, 3, (1979), 39-45
[MR.
81a:03019; Zbl 426.03027]
[79d] Pla
i Carrera, Josep
ÒNegacions
en estructures de HilbertÓ
Revista de la
Universidad de Santander, 9, (1979), 905-925. [MR. 86h:0009b]
[80a] Pla
i Carrera, Josep
ÒSobre
l'axiomtica no-estndard de J. KeislerÓ
Publicacions
de Matemtiques de la Universidad Autnoma
de Barcelona, 20 (1980), 93Ñ97
[MR. 86h:03114]
[80b] Pla
i Carrera, Josep y Verd i Solans, Ventura
ÒSobre
lgebres quasi-hilbertianesÓ
Publicacions
de Matemtiques de la Universidad Autnoma
de Barcelona, 20 (1980), 93Ñ97
[MR.
86g:03112»
[83a] Pla
i Carrera, Josep
ÒAportacions de la
lgica matemtica a la primera meitat del segle xxÓ
Conferencia
invitada
Actas
del Primer Congreso Cataln de Lgica, 17-32
Barcelona,
1983
[MR.
84i:03003, Zbl 512.01005]
[83b] Pla
i Carrera, Josep
ÒUna
nota sobre la representabilitat en el sistema RÓ
Actas
del Primer Congreso Cataln de Lgica, 101--107
Barcelona
1983.
[MR.
84i:03003, Zbl 521.03025]
Premi
Barcelona per a estudis i investigacions en Cincia
Cognitiva i Lgica, pures i aplicades
Barcelona
1984
[84d] Pla
i Carrera, Josep
ÒKurt
Gdel: dos teoremes i una metodologiaÓ
Conferencia
inaugural
Actas
del Segundo Congreso Cataln de Lgica, 15-25
Barcelona
1984
[Zbl
594.03002]
[86a] Pla
i Carrera, Josep
ÒLgica
i gramaticalitatÓ
Conferencia
invitada
Actas del Primer Congreso de Lenguajes Naturales y
Lenguajes
Formales,
45-51
Editor
Carles Martn Vide
Barcelona
1984
[87a] Pla
i Carrera, Josep-Rafels y Pallarols, Carles
ÒRadical
d'un treilli residuÓ
Stochastica, 10 (1987), 99Ñ108
MR.86g:06010;
Zbl 609.06004]
[87b] Font
i Llovet, Josep M., Pla i Carrera, Josep, Verd i
Solans,
Ventura
ÒLgica
Algebraica: Alguns Mtodes i algunes aplica-
cionsÓ
Seminario
en el Segundo Congreso de Lenguajes Natura-
les
y Lenguajes Formales
Actas
del Segundo Congreso de Lenguajes Naturales y Len-
guajes
Formales,
149-170
Editor
Carles Martn Vide
Barcelona
1987
[88a] Pla
i Carrera, Josep
ÒLa
ÒGometrieÓ com un exemple de la ÒMthodeÓ de Ren
DescartesÓ
Conferencia
invitada
Simposium:
350 Anys del Discours de la Mthode de Ren
Descartes
(1637)
Tercer
Congreso de Lenguajes Naturales y Lenguajes For-
males
Actas del Tercer Congreso de Lenguajes Naturales y For-
males, 821-864
Editor
Carles Martn Vide
Barcelona
1988
[88b] Pla
i Carrera, Josep
ÒAlfred
Tarski i la teoria de conjuntsÓ
Theoria, Segunda poca, iv, 11, (1988--89), 343-417.
[89b] Pla
i Carrera, Josep
ÒLes
sries com a mtode a NewtonÓ
Conferencia
invitada
The
First International Symposium of the History and the
philosophy
of science
Universidad de Barcelona 1987
Butllet
de la Societat Catalana de Matemtiques, 4 (1989),
9-22
[89c] Pla
i Carrera, Josep
ÒMatemtics,
Matemtiques i Revoluci francesaÓ
Conferencia
Inaugural del Curs 1989--90
Facultad
de Matemtiques de la Universidad de Barcelona
Preprint
de la Facultad de Matemtiques, 77, pp 37
Butllet de la
Societat catalana de Matemtiques, 11 (1996),
31-78.
[89d] Pla
i Carrera, Josep
ÒL'Helena
de les Matemtiques i el principi de la mnima
acciÓ
Quaderns, 43, 61-71
Fundaci
ÒCaixa de PensionsÓ
Museu
de la Cincia
Barcelona
1989.
[89e] Pla
i Carrera, Josep
ÒThe
Dedekind set theoryÓ (abstract)
Journal
of Symbolic Logic,
54
(1989), 668
[90a] Pla
i Carrera, Josep
ÒLas
naturalezas de los nmeros naturalesÓ
Actas
del Congreso ÒMatemticas y EstructurasÓ, 351-373
Donostia1990.
[92a] Pla
i Carrera, Josep
ÒAlfred
Tarski y su contribucin a la teora de conjuntosÓ
Investigacin
y Ciencia\/},
183,
70-78
Enero,
1992
[92b] Pla
i Carrera, Josep
ÒThe
Fundamental Theorem of Algebra before Carl Frie-
drich
GaussÓ
Publicacions
Matemtiques,
36,
879-911
[93d] Pla
i Carrera, Josep
ÒRichard
Dedekind y la teora de conjuntosÓ
Modern
Logic, 3
(3).
June, 1993, 215-305
[94a] Pla
i Carrera, Josep
ÒLos
FractalesÓ
Monogrfico.
Fractales
Epsilon, 28, 10(1), 27-53
[94b] Pla
i Carrera, Josep
ÒEl
platonisme i la matemtica: el tot i la partÓ
Actas
del Dcimo Congreso de Lenguajes Naturales y
Lenguajes
Formales,
275-290
Sevilla
Septiembre, 1994
[94c] Pla
i Carrera, Josep
ÒNotes
i reflexions a l'entorn de la demostraci del Darrer
Teorema
de FermatÓ
Suplemento
a la Revista Aleph,
xviii, 1-18
[95a] Pla
i Carrera, Josep
ÒSherlock
Holmes y Pitgoras en MesopotamiaÓ
Mundo
cientfico,
especial, Nmeros\/},
161,
Octubre 1995,
836-845
[96a] Pla
i Carrera, Josep
ÒLes
matemtiques i els matemtics de la Revoluci fran-
cesaÓ
Butllet
de la Societat catalana de Matemtiques, 11, 3-78
[96b] Pla
i Carrera, Josep
ÒPanormica
del sistema decimal posicional des dels or-
gens
indis a l'Arismtica de SantclimentÓ
Calligraphia
et tipographia. Arithmetica et Numerica.
Chronologia. Rvbrica, vii, 101-256
[isbn.
84-475-1966-\textsc{x}]
[98b] Pla
i Carrera, Josep
ÒArquimedes
i Descartes: el mtode com un canvi de llen-
guatgeÓ
Butllet
de la Societat catalana de Matemtiques, 13, 35-84
[98c] Pla
i Carrera, Josep
ÒAddendes
a la novel.la Damunt les espatlles dels gegantsÓ
Monografia
Facultad
de Matemtiques
Universidad
de Barcelona.
[99b] Pla
i Carrera, Josep
ÒLa
regla quarta del Mtode i la GeometriaÓ
Descartes.
Lo racional y lo real
Enrahonar.
Quaderns de filosofia
Servei
de Publicacions
Universidad
Autnoma de Barcelona
Bella
Terra 1999
[01b] Pla
i Carrera, Josep
ÒEl
infinito y la lgica de primer ordenÓ
Investigacin
y Ciencia
Temas, 23-28
Barcelona,
2001
[03a] Pla
i Carrera, Josep
ÒLa
Veritat MatemticaÓ
Publicacions
de la Reial Acadmia de Doctors
Discurso
de ingreso en la academia
Barcelona
2003.
[03b] Pla
i Carrera, Josep
ÒUna
histria breu de la matemticaÓ
Leccin
inaugural del curso acadmico 2002-2003
Butllet
de la Societat Catalana de Matemtiques, 17 (2)
1-82
[04a] Pla
i Carrera, Josep
ÒL'lgebra
de la papiroflxiaÓ
Conferencia
invitada a la trobada de matemtics catalans.
Barcelona
2002
Butllet
de la Societat Catalana de Matemtiques
(Pendent
de publicaci)
[04b] Parads,
Jaume, Pla i Carrera, Josep, Viader, Pelegr
American
Mathematical Montly.
Marzo 2004
[04c] Alfrd
Rny
ÒUn
dileg sobre les aplicacions de les matemtqiuesÓ.
Introducci
i notes.
Butllet
de la Societat Catalana de Matemtiques, 19 (1)
53-74
[04d] Parads,
Jaume, Pla i Carrera, Josep, Viader, Pelegr
ÒFermat
Treatise on Quadrature: a new readingÓ
Historia
Mathematica
(Pendiente
de publicacin)
[05a] Pla
i Carrera, Josep
ÒMatemtica
multiculturalÓ
Conferencia
invitada a la trobada de matemtics catalans.
Barcelona
2004 (dins el Frum de les cultures)
Butllet
de la Societat Catalana de Matemtiques
(Pendent
de publicaci)
[05b] Pla
i Carrera, Josep
ÒLes
tres papiroflxiesÓ
Conferencia
invitada a la trobada de matemtics catalans.
Barcelona
Butllet
de la Societat Catalana de Matemtiques
(Pendent
de publicaci)
[05a] Pla
i Carrera, Josep
ÒEls
set problemes del miláleniÓ
Conferencia
inicial del cicle ÒLes set conferncies del
miláleniÓa
a la trobada de matemtics catalans.
Barcelona
La
Caixa/CRM
(Pendent
de publicaci)
[73a] Pla
i Carrera, Josep
ÒNotes
sobre la teoria axiomtica de conjuntsÓ
Publicacions
de ÒRosa SensatÓ,
pp. 37
Barcelona
1973
[75d] Pla
i Carrera, Josep
Contribuci a l'estudi de las estructures algebraiques dels
sistemes
lgics deductius
Premi
``Mart d'Ardenya" de Cincies
Institut
d'Estudis Catalans, 23 d'abril de 1976
Publicacions
de la Universidad de Barcelona
Barcelona
1975
[76d] Pla
i Carrera, Josep
ÒLlenguatge
i metallenguatgeÓ
Publicacions
de ÒRosa SensatÓ,
pp. 16
Barcelona
1976
[79e] Pla
i Carrera, Josep
ÒContribuci
a l'estudi algebraic dels sistemes lgics
deductiusÓ,
pp. 37
Publicacions de la Universidad de Barcelona
Barcelona
1979.
[79f] Pla
i Carrera, Josep
ÒOn
es posa de manifest que cal fixar certs lmitsÓ
L'Escaire, ii, 37-58.
[79g] Pla
i Carrera, Josep
ÒKurt
Gdel: BiografiaÓ
Butllet
de la Societat Catalana de Cincies Fsiques,
Qumiques
i Matemtiques,
1
(1979), 38-42
[81a] Pla
i Carrera, Josep
ÒEl
teorema d'incompletesaÓ (juntamente con
Nadal Batle i
Nicolau,
Francisco de Ass Sales i Valls Ventura Verd i
Solans)\\
ÒA
Kurt Gdel: in memoriamÓ
Butllet
de la Societat Catalana de Cincies Fsiques,
Qumiques
i Matemtiques,
3,
32-65
[81b] Pla
i Carrera, Josep
ÒLgica
ModalÓ
Enciclopedia ÒEspasa CalpeÓ Suplemento 1981Ñ82, pp. 13
Madrid
1984
[81c] Pla
i Carrera, Josep
ÒLgica algebraicaÓ
Enciclopedia
ÒEspasa CalpÓ. Suplemento 1981Ñ82,.pp.11
Madrid
1984
[82a] Pla
i Carrera, Josep
ÒAbsorci
(llei d'); bivalncia (principi de); crisipi; Hey-
ting,
Arend; lgica algebraica; lgica matemticaÓ
Enciclopdia
catalana. Apndix
1,
pp. 2
Barcelona
1982
[83c] Pla
i Carrera, Josep
ÒL'axioma
de l'elecci i la paradoxa de Banach-TarskiÓ
Butllet de la Secci de Matemtiques de lÕInstitut dÕEstudis catalans, 15,103-168
[84e] Pla
i Carrera, Josep
ÒAlfred
Tarski i la lgica contemporneaÓ
Butllet de la Secci de Matemtiques de lÕInstitut dÕEstudis Catalans, 17. 1-12
[84f] Pla
i Carrera, Josep
ÒEl
principi d'internalitat en l'axiomtica de Zakon de l'an-
lisi
no-estndardÓ
Actas
del tercer Congreso cataln de lgica, 101-103
Barcelona
1984
[84g] Pla
i Carrera, Josep
ÒCardinals
sense elecciÓ, en ÒHomenatge a Alfred TarskiÓ
(Tercer
Congreso cataln de Lgica Matemtica)
Actas
del tercer Congreso cataln de lgica, 13-17
Barcelona
1984
[85b] Pla
i Carrera, Josep
ÒEquivalncies
de l'axioma de l'elecciÓ
L'Escaire, 14, 77-79
[85c] Pla
i Carrera, Josep
ÒIntroducci
a: Ments, mquines i GdelÓ
Saber, 1 36-38
[88c] Pla
i Carrera, Josep
ÒL'article
de Richard Dedekind sobre el teorema d'equi-
valnciaÓ
Actas
del sexto Congreso cataln de lgica\, 101-106.
Barcelona
1988
[90b] Pla
i Carrera, Josep
ÒEl
mtode a Descartes: aproximaci
heursticaÓ
Publicacions de l'\textsc{ice}
Universidad
de Bracelona
Barcelona
1990
[91b]
Pla i Carrera, Josep
Investigacin
y Ciencia\/},
174
101-102. Marzo de 1991
[92c] Pla
i Carrera, Josep
ÒMatemticas
de la RevolucinÓ
Investigacin
yCiencia,
195
102-104. Diciembre de 1992
[93b] Pla
i Carrera, Josep
êtems: ÒAhmes, papir d';
Akhim, papir d'; lgebra commu-
tativa;
lgebra computacional; lgbera de Lie; lgebra de
successos;
lgebra exterior; lgebra graduada; lgbera ho-
molgica;
lgebra lineal; lgebra multilineal; lgebra no
commutativa;
lgebra simblica; lgebra sincopada; lgebra
tensorial;
lgebra universal; anlisi combinatria; anlisi
complexa;
anlisi diofntic; anlisi indeterminada; nalisi
no-estndard,
Arquimedes, postulat d'; axiomes, sistema d';
cardinal
regular;
cardinal singular; nombre cardinal; Caste-
llet
i Solans, Manuel; component connexa; computable;
Computaci,
teoria de la; cardinal d'un conjunt; conjunt
ben
ordenat; conjunt computable; conjunt continu; conjunt
finit;
conjunt inductiu; conjunt infinit;
Conjunt infinit de
Dedekind;
conjunt mesurable; conjunt numerable; conjunt
ordenat;
conjunt recursiu; conjunt recursivament enume-
rable;
potncia d'un conjunt; continutat, postulat de; cos
complex;
Cuf i Sobregrau, Juli; diferencial, equaci dife-
rencial
en derivades parcials; diferencial, triangle;
distribucu
de Cauchy; distribuci $F$;
distribuci
normal
[o de Gauss]; distribuci c2;
distribuci tn [o de
Student];
Einstein-Lorentz, equacions d'; element, darrer,
element
adherent; element infinitesimal; element invers;
element
neutre; element oposat; element recproc; primer
element;
funci el.lptica; integrals el.lptiques; equaci
algbrica;
equaci ciclotmica; equaci diofntica; equaci
funcional;
equaci integral; espai arco-connex; espai con-
nex;
espai localment connex; funci complexa; funci com-
putable; funci
recursiva; Girbau i Bad, Joan; gdelitzaci;
grup
alternat; grup cclic; grup de Lie; grup de permuta-
cions;
grup ortogonal; grup simtric; grup topolgic; ideal
graduat,
mquina de Turing; Menal i Brufal, Pere; Pascual i
Xufr,
Griselda; Perell i Valls, Carles; potncia tensorial;
problema
diofntic; problema de les paraules; producte ten-
sorialÓ
Enciclopdia
Catalana. Apndix 3
[96a] Pla
i Carrera, Josep
ÒBiblioteca
de textos d'histria, epistemologia i didctica de
la
matemticaÓ
Notcies
4,
34-38
[96b] Pla
i Carrera, Josep
ÒDe
los indivisibles a los infinitsimosÓ
Investigacin
y Ciencia,
263,
95
[97] Pla
i Carrera, Josep
ÒLa
cresta del pavo realÓ
Notcies
7,
14-17
[98a] Pla
i Carrera, Josep
ÒNadal,
mai no et podrem oblidarÓ
Notcies
8, 4-6
[98b] Pla
i Carrera, Josep
ÒParlem
de com s'ha de divulgar la matemticaÓ
Notcies
8,
18-26
[99c] Pla
i Carrera, Josep
ÒJavier
de Lorenzo. ÒLa matemtica: de sus fundamentos y
crisisÓÓ
Theoria, 14 (36), 567-569
[01b] Pla
i Carrera, Josep
ÒFederico
Prez de los Nueros (1830-1917). Comparacin
del
estado actual de las ciencias fsico-matemticas, con lo
que
tena a principios de este siglÓ. Introduccin
Monografia,
v-vii
Universidad
de Barcelona
Barcelona
2001
[01c] Pla
i Carrera, Josep
ÒJosep
Domenech i Estap. Concepto pedaggico de la
ciencia
matemticaÓ. Introduccin
Monografia,
v-vii
Universidad
de Barcelona
Barcelona
2001
[01d] Pla
i Carrera, Josep
ÒIvor
Grattan-Guinnes: ÒThe Roots of Mathematical
FoundationsÓ
Ó
Investigacin
y Ciencia.
Barcelona
2001
[04] Pla
i Carrea, Joseph
ÒMatemtqiues
ImprecisesÓ
El
Peridico de Catalunya, 11 de gener de 2004.
Text usat a la prova de selectivitat de literatura castellana.
Setembre 2004
OTROS TRABAJOS DE INVESTIGACIîN}}\\
(No publicados o en vas de ejecucin)
[91c] Pla
i Carrera, Josep
ÒMatemtiques
i LlenguatgeÓ
(Conferencia
invitada en el ÒSymposium: LeibnizÓ)
Formales.
(No publicado).
[91d] Pla
i Carrera, Josep
ÒEls
NombresÓ
Seminario:
Idees claus per a la Cincia
Museu
de la Cincia
Barcelona
1991
[92e] Pla
i Carrera, Josep
ÒRecursi
i indecidibilitat: Notes sobre la teoria de la
recursiÓ
Seminario
en el Octavo Congreso de Lenguajes Naturales
y
Lenguajes Formales (No publicado).
[92f] Pla
i Carrera, Josep
ÒOrgens
del clcul en el naixement de la fsica. Influncia
de
l'escola italiana de Galileo en l'obra matemtica d'Isaac
NewtonÓ
Seminario
ÒNewton, tercer aniversari del seu naixementÓ
Octavo
Congrs de Lenguajes Naturales y Lenguajes For-
males.
(No publicado)
[92g] Pla
i Carrera, Josep
ÒEl
fet bibliotecariÓ
Conferencia
Inaugural de l'Escola de Biblioteconomiia i
Documentaci
(No
publicada)
Universidad
de Barcelona
[93c] Pla
i Carrera, Josep
Llions
de Lgica Matemtica. Tercera i Quarta Part (No
publicado)
[93d] Pla
i Carrera, Josep
ÒReflexions
d'un nefit en Didctica de les MatemtiquesÓ
(No
publicado)
[93f] Pla
i Carrera, Josep
ÒEl
ÒMthodeÓ de Descartes i l'pticaÓ
International Symposium in History of Scienc
Zaragoza, 1993 (No
publicado)
[03d] Pla
i Carrera, Josep
Els nombres. Una aproximaci heurstica a la histria de la
matemtica
Enciclopdia
catalana. (En proceso de elaboracin).
[03e] Pla
i Carrera, Josep
L'Arismtica
de Santcliment
Introducci y comentarios ma-
temticos
Publicacions
de la Universidad de Barcelona.
(En proceso
de
elaboracin)
[03f] Pla
i Carrera, Josep
ÒAproximacin
histrica al clculo infinitesimal del siglo
xviiÓ
(En
proceso de elaboracin).
[03g] Pla
i Carrera, Josep
Introduccin
a la Metodologa Matemtica
(En
proceso de elaboracin).
[04a] Pla
i Carrera, Josep
(En
colaboracin con Jaume Parads i Pelegr Viader)
La
obra matemtica de Pierre de Fermat
Introduccin,
notas y traduccin
(En
proceso de elaboracin).
[04b] Pla
i Carrera, Josep
Toms Cerd. Obra matemtica
Transcripcin
anotada de su Tratado de cnicas
Estudio
de su obra matemtica completa
(En
proceso de elaboracin)
Ttulo: Lgica algebraica (N. 2419)
Organismo: CIRIT (Comissi Interdepartamental de
Recerca i Innovaci
Tecnolgica
de la Generalitat de Catalunya)
Programa: Ajuts per a la recerca (AJRE)
Importe: 601'01 euros (100.000 ptas)
Perodo: 1983--1984.
Investigador Principal:]Josep Pla i Carrera
Tipo de participacin: Dedicacin completa.
Ttulo: Adquisin i Completacin de fondos
Bibliogrficos
Organismo: CIRIT (Comissi Interdepartamental de
Recerca i Innovaci
Tecnolgica
de la Generalitat de Catalunya)
Programa: Ajuts per a la recerca (AJRE)
Importe: 1803'03 euros (300.000 ptas).
Perodo: 1987-1987
Investigador Principal:] Josep Pla i Carrera
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica (PB86--0269)
Organismo: SEUI (Secretara de Estado de
Universidades e Inves-
tigacin)
Programa: Programa Nacional de Promocin General
del Conocimiento
(SPGC)
Importe: 12.020'24 euros (2.000.000 ptas)
Perodo: 1987-1990
Investigador Principal: Buenaventura Verd i
Solans
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica\(PB90-0465-C02-01)
Organismo: SEUI (Secretara de Estado de
Universidades e Inves-
tigacin)
Programa: Programa Nacional de Promocin General
del Conocimiento
(SPGC)
Importe: 28.848'58 euros (4.800.000 ptas)
Perodo:] 1991-1994
Investigador Principal: Josep M. Font i Llovet
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica
Organismo: CIRIT (Comissi Interdepartamental de
Recerca i Innovaci
Tecnolgica
de la Generalitat de Catalunya)
Programa: Infraestructura de la Generalitat de
Catalunya (INGC)
Importe: 28.848'58 euros (4.800.000 ptas)
Perodo: 1993--1993
Investigador Principal: Josep M. Font i Llovet
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica (1995SGR--00046)
Organismo: CIRIT (Comissi Interdepartamental de
Recerca i Innovaci
Tecnolgica
de la Generalitat de Catalunya)
Programa: Projectes d'investigaci per a
potenciar els grups de recerca
consolida
(PIGC)
Importe: 14.183'89 euros (2.360.001 ptas).
Perodo:] 1995--1997.
Investigador Principal:] Josep M. Font i Llovet.
Tipo de participacin: Dedicacin completa.
Ttulo: Lgica algebraica (PB94-0920)
Organismo: SEUI (Secretara de Estado de
Universidades e Investi-
gacin)
Programa: Programa Nacional de Promocin General
del Conocimiento
(SPGC)
Importe: 27.045'54 euros (4.500.000 ptas)
Perodo: 1995--1998
Investigador Principal: Buenaventura Verd i
Solans
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica (1996SGR-00052).
Organismo: CIRIT (Comissi Interdepartamental de Recerca i Innovaci
Tecnolgica
de la Generalitat de Catalunya)
Programa: Projectes d'investigaci per a
potenciar els grups de recerca
consolida
PIGC)
Importe: 15.626'31 euros (2.599.999 ptas)
Perodo:] 1996-1998
Investigador Principal: Josep M. Font i Llovet.
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica (1998SGR-00018)
Organismo: CURE (Comissionat per a Universitats
i Recerca)
Programa: Projectes d'investigaci per a
potenciar els grups de recerca
consolida
(PIGC)
Importe: 9.616'19 euros (1.599.999 ptas)
Perodo: 1998--2000
Investigador Principal: Josep M. Font i Llovet
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica (2001SGR-00017)
Organismo: CURE (Comissionat per a Universitats
i Recerca)
Programa: Projectes d'investigaci per a
potenciar els grups de recerca
consolida
PIGC)
Importe: 36.060'70 euros (5.999.996 ptas)
Perodo:] 2001--2004
Investigador Principal: Josep M. Font i Llovet
Tipo de participacin: Dedicacin completa
Ttulo: Lgica algebraica (1998SGR-00018)
Organismo: CURE (Comissionat per a Universitats
i Recerca)
Programa: Projectes d'investigaci per a
potenciar els grups de recerca
consolida
(PIGC)
Importe: 9.616'19 euros (1.599.999 ptas)
Perodo: 1998-2000.
Investigador Principal: Josep M. Font i Llovet
Tipo de participacin: Dedicacin completa
Ttulo: Pierre de Fermat: Opera Matehmaticae Variae
Organismo: IEC (Institut d'Estudis Catalans)
Programa: Ajuts a la recerca
Importe: 3900 euros (650.000'- ptas)
Perodo: Ao 2003
Investigador Principal: Josep Pla i Carrera
Tipo de participacin: Dedicacin completa
Ttulo: La cultura material de la cincia:
recuperaci i usos historiogrfics (BHA 2000-0434)
Organismo: Ministerio de Ciencia y Tecnologa
Perodo: 2001-2004
Investigador principal: Xavier Roqu
Tipo de participacin: Dedicacin parcial (desde
2004)
(Presentacin de Comunicaciones y ponencias)
En primer lugar detallamos las conferencias invitades y en segundo lugar las comunicaciones presentadas. En cada caso se pone ttulo, congreso, entidad o entidades organizadoras, lugar y fecha y su carcter nacional o internacional.
[1982] ÒApotacions
de la lgica matemtica a la primera meitat del
segle
\textsc{xx}Ó [83a].
Primer
Congrs Catal de Lgica Matemtica
Universidad
de Barcelona y Universidad Politcnica de
Catalua
Barcelona
(Espaa) 1982
Nacional
[1983] ÒKurt
Gdel: dos teoremes i una metodologiaÓ [84d].
Segon
Congrs Catal de Lgica Matemtica
Universidad
de Barcelona y Universidad Politcnica de
Catalua
Barcelona
(Espaa) 1983
Nacional
[1984] ÒCardinals
sense elecciÓ (en Homenatge a Alfred Tarski)
[84g].
Tercer
Congrs Catal de Lgica Matemtica
Universidad
de Barcelona y Universidad Politcnica de
Catalua
Barcelona
(Espaa), 1984
Nacional
[1985] ÒLgica
i gramaticalitatÓ [86a].
Primer
Congreso de Lenguajes Naturales y Lenguajes
Formales
Universidad
de Barcelona
Barcelona
1985
[1987] ÒLa
ÒGometrieÓ com un exemple de la ÒMthodeÓ de
Ren
DescartesÓ (en Symposium Ò350 anys del Discours de
la
Mthode
de Descartes (1637)Ó) [88a]
Tercer
Congreso de Lenguajes Naturales y Lenguajes
Formales
Universidad
de Barcelona
Sitges
(Espaa), septiembre 1987
Nacional
[1987] ÒLes
sries com a mtode a NewtonÓ [89b]
The
First International Symposium of the History and the
philosophy
of science
Universidad
de Barcelona
Barcelona
(Espaa) 1987
Internacional
[1989 ÒMatemtics,
Matemtiques i Revoluci francesaÓ
(en
el Symposium ÒBicentenari de la Revoluci francesaÓ)
[89c]
Quinto
Congreso de Lenguajes Naturales y Lenguajes
Formales.
Universidad
de Barcelona
Vilafranca
del Peneds (Espaa), septiembre 1989
Nacional
[1992] ÒGalileo,
Torricelli, i NewtonÓ (en el Symposium ÒEn el
350
aniversari del naixement de Newton") (no publicada)
Octavo
Congreso de de Lenguajes Naturales y Lenguajes
Formales
Universidad
de Barcelona
Girona
(Espaa). Septiembre 1992
Nacional
[2000] ÒUna
justificacin matemtica de los axiomas de la Teora
de
conjuntosÓ (no publicado)
Ctedra
Snchez Mazas. Bilbao (Pas Vasco (Espaa))
Noviembre
de 2000
[1975] ÒPrecisiones
en torno del criterio CST 6 del captulo IV de
Thorie
des ensembles
de Nicholas BourbakiÓ
(con
Joaqun Cascante Dvila) [76b]
Segundas
Jornadas Matemticas Hispano-Lusas
Universidad
Complutense
Madrid
(Espaa), mayo 1975
Internacional
[1975] ÒOn
negations in latticesÓ [76c]
Segundas Jornadas Matemticas Hispano-Lusas
Universidad
Complutense
Madrid
(Espaa), mayo 1975
Internacional
[1976] ÒNotas
acerca de las S y las T negacionesÓ (no publicado)
Terceras
Jornadas Matemticas Hispano-Lusas
Universidad
de Mlaga
Mlaga
(Espaa), mayo 1976
Internacional
[1977] ÒSobre
las relaciones de orden y las estructuras de HilbertÓ
[77a]
Cuartas
Jornadas Matemticas Hispano-Lusas
Universidad
de Zaragoza. Jaca (Espaa), mayo 1977
Internacional
[1977] ÒSobre
pruebas en s-lgebras de probabilidad
mtricaÓ
(con
Buenaventura Verd Solans) [77b]
Cuartas
Jornadas Matemticas Hispano-Lusas
Universidad
de Zaragoza. Jaca (Espaa), mayo 1977
Internacional
[1978] ÒSobre
l'estructura reticular de les lgebres de HilbertÓ
(abstract)[78a]
Reunin
de Matemticos de Expresin latina
Ayuntamiento
de Palma
Palma
de Mallorca (Espaa), marzo 1978
Internacional
[1978] ÒSobre
reticles de HilbertÓ [78b]
Quintas
Jornadas Matemticas Hispano Lusas
Universidad
de Aveiro
Aveiro
(Portugal), abril 1978
Internacional
[1978] ÒTeorema
d'adequaci de Gdel a travs de les lgebres de
BooleÓ
(con Buenaventura Verd i Solans) [78c]
Quintas
Jornadas Matemticas Hispano Lusas
Universidad
de Aveiro
Aveiro
(Portugal), abril 1978
Internacional
[1979] ÒNegacions
en estructures de HilbertÓ [79d]
Sextas
Jornadas Matemticas Hispano-Lusas
Universidad
de Santander
Internacional
[1980] ÒA
formalization of the Lewis System S1 without Rules of
SubstitutionÓ
[79c]
Logic
Symposium. ASL Summer Meeting
Organitzado
por la ASL y la Universidad de Patras
Patrs
(Grecia)
Internacional
[1980] ÒSobre
l'axiomtica no-estndard de J. KeislerÓ [80a]
Sptimas
Jornadas Matemticas Hispano Lusas
Sant
Feliu de Guixols. Girona (Espaa), mayo 1980
Internacional
[1980] ÒSobre
lgebres quasi-hilbertianesÓ
(con
Buenaventura Verd i Solans) [80b]
Sptimas
Jornadas Matemticas Hispano Lusas
Sant
Feliu de Guixols. Girona (Espaa), mayo 1980.
Internacional
[1981] ÒSur
l'estructure modal dans les algbres hilbertiennesÓ (no
publicado)
Colloque
International de Logique, a la mmoire de Jacques
Herbrand
Marseille
(Francia), 16-24 juillet 1981
Internacional
[1981] ÒDedekind
y la teoria de conjuntosÓ [93d]
Congress
International of History of Science
Sevilla
(Espaa).
Internacional
[1982] ÒUna
nota sobre la representabilitat en el sistema RÓ [83b]
Primer
Congrs Catal de Lgica Matemtica
Barcelona
(Espaa), 1982
Nacional
[1984] ÒEl
principi d'internalitat en l'axiomtica de Zakon de
l'anlisi
no-estndardÓ [84f]
Tercer Congrs Catal de Lgica Matemtica
Barcelona
(ESpaa), 1984
Nacional
[1987] ÒAspectes de la investigaci en lgica a Espaa, avuiÓ
(mesa redonda)
Tercer
Congreso de Lenguajes Naturales y Lenguajes
Formales
Universidad
de Barcelona
Sitges
(Espaa), septiembre 1987.
Nacional
[1987] ÒL'article
de Richard Dedekind sobre el teorema d'equi-
valnciaÓ
[88c]
Sis
Congrs Catal de Lgica Matemtica
Universidad
de Barcelona y Universidad Politcnica de
Catalunya
Barcelona,
1986
Nacional
[1988] ÒThe
Dedekind set theoryÓ. (abstract) [89e]
Logic
Symposium, ASL Summer Meeting
Organizado
por la ASL y la Universidad de Granada.
Granada
(Espaa), 1988
Internacional
[1990] ÒLas
naturalezas de los nmeros naturalesÓ [90a]
Congreso
ÒMatemticas y Estructuras
Donostia
(Pas Vasco (Espaa)), 1990
Internacional
[1991] ÒMatemtiques
i LlenguatgeÓ
(en
el Symposium ÒDe la caracterstica universal al clcul:
En
els 75 anys de la mort de G.W. Leibniz, 1716Ó) [91c]
Sptimo
Congreso de Lenguajes Naturales y Lenguajes
Formales
Universidad
de Barcelona y Universidad de Vic
Vic
(Espaa), 1991
Nacional
[1991] ÒThe
Fundamental Theorem of Algebra before Carl
Friedrich
GaussÓ [92b]
The
First European Congress of Mathematics
EMS
Pars
(Francia), julio 1991
Internacional
[1992] ÒRecursi
i indecidibilitat: Notes sobre la teoria de la
recursiÓ
(Seminario) [92e]
Octavo
Congreso de Lenguajes Naturales y Lenguajes
Formales.
Universidad
de Barcelona
Girona
(Espaa), septiembre 1992
Nacional
[1992] ÒOrgens
del clcul en el naixement de la fsica. Influncia
de
l'escola italiana de Galileo en l'obra matemtica d'Isaac
NewtonÓ
(en el Seminario ÒNewton, tercer aniversari del
seu
naixementÓ) [92f]
Octavo
Congreso de Lenguajes Naturales y Lenguajes
Formales
Universidad
de Barcelona
Girona
(Espaa), septiembre
Nacional
[1993] ÒDescartes:
el mtodo y la pticaÓ (no publicado)
Congress
International of History of Science
Universidad
de Zaragoza
Zaragoza,
1993
Internacional
[1994] ÒEl
platonisme i la matemtica: el tot i la partÓ
Dcimo
Congreso de Lenguajes Naturales y Lenguajes
Formales
Sevilla
(Espaa). Setembre, 1994
Nacional
[1996] La
regla quarta del Mtode i la GeometriaÓ [99b]
Segundo
Congreso International de Ontologa
(San
Sebastin-Barcelona, 24-31 de marzo)
Los cursos de doctorado ya han sido detallados
en el apartado docente
[1978-79] Aplicacions
de la Lgica a l'lgebra i a l'anlisi
Societat
Catalana de Matemtiques.
[1980-81] Curs
de filosofia de la lgica, la
matemtica i la cincia
(con
Manuel Sacristn)
ICE
Universidad Autnoma de Barcelona
[1980-81] El
Problema 10 de Hilbert
Societat
Catalana de Matemtiques.
[1982-83] L'Axioma
de Constructibilitat i el quefer matemtic
ICE
Universidad
de Barcelona
[1983-84] Curs
d'evoluci del mtode matemtic
ICE
Universidad
Autnoma de Barcelona.
[1984-85] Evoluci
dels conceptes matemtics desde la geometria
grega
fins la topologia
Institut
de Psicoanlisi de Barcelona
Biblioteca
freudiana.
[1989-90 El
mtode en Descartes i la geometria
[1991-92] El
mtode de Descartes i la diptrica
ICE
de la Universidad de Barcelona
[1992-93] Curs
general de Cincia