A tabela abaixo apresenta o
perfil de publicações de palestrantes convidados do International Congress of
Mathematicians (seção de Lógica), com ênfase nas revistas especializadas em Lógica. Novamente,
não se trata de um argumento a favor da nossa proposta, nem de uma comparação
de pesquisadores em nenhum sentido. Acreditamos que a tabela apenas mostra um
quadro consistente com a nossa proposta.
A pesquisa foi feita no
MathScinet, portanto pode faltar um ou outro número mais atualizado. Mas
pequenas variações não afetam o quadro geral, e é esse sentido geral o que
importa para nós. A tabela leva em conta qualquer publicação em revista
especializada em Lógica em um sentido amplo.
Nossa proposta, em parte,
pretende indicar onde (no universo de revistas especializadas) um pesquisador em Lógica Matemática
tipicamente encontra bons artigos de Lógica Matemática. Dentro dessa
perspectiva, a tabela abaixo parece mostrar um quadro coerente com pelo menos
uma parte da nossa proposta. Em nenhum momento estamos afirmando que não é
possível encontrar bons artigos de bons lógicos em outras revistas que não
possuem publicações nessa tabela. Tampouco estamos afirmando que vamos sempre
encontrar bons artigos de todas as áreas de Lógica Matemática em revistas com
várias publicações. É preciso lembrar que cada revista tem o seu perfil, que
alguns grupos tem suas preferências, etc. Além disso, esse grupo de
pesquisadores não contempla todas as áreas de pesquisa em Lógica Matemática.
Abaixo reunimos algumas
observações relevantes sobre o conteúdo dessa análise.
Observações:
1- Não
consideramos significativa a soma dos números em linhas ou colunas – isso
esconde a variação entre os pesquisadores e não fornece um panorama preciso. O
que tiramos da tabela é um sentido geral que, apesar das variações, os resultados são
consistentes com a nossa proposta.
2- Obviamente,
os números de Saharon Shelah podem confundir tudo, principalmente se
considerarmos as somas em colunas. Entretanto, mesmo excluindo os números
de Shelah ainda persistem grandes diferenças. Por isso não recomendamos somar os
números.
3- Uma
alternativa a somar seria considerar a proporção de artigos que cada autor
envia para cada revista, e não números absolutos. Entretanto, essa forma de
normalização não produz um quadro preciso do que está efetivamente disponível
nas revistas especializadas. Não mostra com clareza onde um pesquisador
tipicamente esperaria encontrar bons artigos. Portanto, essa também não é uma
abordagem recomendada.
4- A tabela está
organizada por congressos porque dessa forma temos uma impressão de evolução.
Por exemplo, muitas pessoas do ICM de 1978 não estão publicando muito agora, enquanto
assumimos que os palestrantes de 2010 provavelmente estão ativos.
5- Sobre a
revista Algebra and Logic. Em si, foi uma revista bastante razoável. Até que
ponto ainda é boa é difícil avaliar. Seus melhores anos, em termos de
qualidade, foram provavelmente antes de 2000 – ou até mesmo antes de 1990 –
quando alguns bons pesquisadores russos ( Zil’ber, Peretyakin, e outros - não
palestrantes no ICM – como Markov, Ivanov, etc) publicavam seus artigos lá
porque era difícil publicar no ocidente. Em particular, pesquisadores na
Siberia, por razões políticas internas, frequentemente escolhiam entre Algebra
and Logic e o Siberian Journal of Mathematics. Consequentemente, lógicos
não-soviéticos mais antigos também enviavam artigos para a Algebra and Logic
por diversas razões (respeitavam a revista, solidariedade com os colegas, etc).
6- Teóricos de
Recursão quase inevitavelmente acabam tendo um (pequeno) número de artigos em
revistas de Computação Teórica. Também, alguns outros pesquisadores, de modo
inesperado, acabam tendo alguns artigos na área de Computação Teórica (por exemplo Magidor, Neeman, van den Dries).
Em geral ocorre que, por algum motivo, alguns problemas dessa área
chegam até eles (na sala de chá) e esses problemas acabam tendo alguma solução
combinatória.
7- Obviamente,
há vários matemáticos muito bons que por algum motivo não foram convidados para
dar palestra no ICM e são no mínimo tão bons quanto aqueles que foram
convidados (por exemplo Jensen, Kunen e Solovay).
8- É importante
ter em mente a média anual de contagem de páginas. O JSL publica
+/- 1600 páginas
por ano (e até 1999, umas 200 páginas eram destinadas a reviews e notícias da
ASL), o APAL publica +/- 1600 páginas por ano (nos últimos 5 anos), e o JML –
que começou em 2000 - publica +/- 260
páginas por ano. Não checamos outros jornais, mas é necessário ter em mente
essa diferença.
9- O BSL é uma
revista particularmente difícil de avaliar segundo o Qualis. Essa revista
publica um grande número de tipos completamente diferentes de trabalhos
(surveys, reviews, notícias, comunicações, abstracts).
APAL
|
JSL
|
JML
|
AML
|
MLQ
|
NDJFL
|
FM
|
BSL
|
SL
|
JAL
|
Outras publicações & Observações
|
|
ICM’2010
|
|||||||||||
MOORE,
J.
|
2
|
1
|
2
|
0
|
0
|
0
|
2
|
2
|
0
|
0
|
0
|
NIES,
A.
|
10
|
8
|
2
|
2
|
2
|
4
|
0
|
5
|
0
|
0
|
AL-1;
AU-1; TCS-1; LMCS-1; JLC-1; IGPL-1
|
PETERZIL,
Y.
|
2
|
6
|
1
|
1
|
1
|
0
|
1
|
1
|
0
|
0
|
0
|
STARCHENKO,
S
|
1
|
0
|
1
|
0
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
ZIEGLER,
M.
|
2
|
7
|
2
|
3
|
1
|
0
|
2
|
0
|
0
|
0
|
AL-1
|
ICM’2006
|
|||||||||||
DOWNEY,
R.
|
36
|
23
|
3
|
9
|
15
|
6
|
1
|
2
|
0
|
0
|
TCS-9;
JCSS-6; AL-2; IPL-2; MSCS-1
|
NEEMAN,
I.
|
2
|
10
|
5
|
2
|
0
|
0
|
1
|
2
|
0
|
0
|
ACMTCL-1
|
RATHJEN,
M.
|
8
|
7
|
0
|
12
|
6
|
0
|
0
|
0
|
0
|
0
|
S-2;
JLA-1; JUCS-1
|
SCANLON,
T.
|
0
|
4
|
0
|
0
|
0
|
0
|
0
|
2
|
0
|
0
|
ENTCS-1
|
THOMAS,
S.
|
4
|
6
|
2
|
5
|
1
|
2
|
0
|
2
|
0
|
0
|
AU-1
|
ICM’2002
|
|||||||||||
BOUSCAREN,
E.
|
3
|
5
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
DENEF,
J.
|
0
|
1
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
GITIK,
M.
|
12
|
11
|
1
|
7
|
0
|
1
|
0
|
0
|
0
|
0
|
0
|
LASCAR,
D.
|
1
|
7
|
2
|
1
|
1
|
0
|
1
|
0
|
0
|
0
|
LA-1
|
SHELAH,
S.
|
80
|
130
|
5
|
46
|
13
|
26
|
52
|
1
|
0
|
0
|
AU-13;
ICom-2; AL-1; LA-1; JLC-1; TCS-1 - palestrante também em 1974 (seção), em
1983 (plenária) e em 1986 (plenária)
|
WOODIN,
H.
|
6
|
7
|
1
|
2
|
1
|
0
|
0
|
0
|
0
|
0
|
0
- palestrante também em 1986 (seção) e em 2010 (plenária)
|
ICM’1998
|
|||||||||||
FOREMAN,
M.
|
4
|
7
|
2
|
0
|
0
|
2
|
1
|
0
|
0
|
0
|
0
|
HJORTH,
G.
|
6
|
17
|
3
|
1
|
0
|
2
|
6
|
3
|
0
|
0
|
0
|
NEWELSKI,
L.
|
3
|
12
|
0
|
2
|
0
|
3
|
7
|
0
|
0
|
0
|
0
|
TODORCEVIC,
S.
|
2
|
0
|
0
|
1
|
1
|
0
|
8
|
1
|
0
|
0
|
0
|
WILKIE,
A.
|
1
|
6
|
0
|
0
|
1
|
0
|
2
|
0
|
0
|
0
|
0
- palestrante também em 1986 (seção)
|
ICM’1994
|
|||||||||||
BAUMGARTNER,
J.
|
7
|
11
|
0
|
0
|
0
|
1
|
4
|
1
|
0
|
0
|
0
|
LOUVEAU,
A.
|
3
|
3
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
0
|
PILLAY,
A.
|
20
|
39
|
2
|
7
|
2
|
3
|
4
|
2
|
0
|
0
|
AL-1
|
PUDLAK,
P.
|
4
|
5
|
0
|
2
|
2
|
0
|
1
|
0
|
0
|
0
|
TCS-6;
CC-4; ICom-2; AU-1; RSA-1; CAI-1; CJTCS-1
|
ICM’1990
|
|||||||||||
HRUSHOVSKI,
E.
|
7
|
12
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
- palestrante também em 1998 (plenária)
|
SLAMAN,
T.
|
7
|
17
|
2
|
3
|
0
|
2
|
2
|
2
|
0
|
0
|
JCSS-2;
TCS-1; TCSy-1; IJAC-1
|
STEEL,
J.
|
4
|
16
|
0
|
2
|
0
|
0
|
1
|
2
|
0
|
0
|
0
|
VAN
DEN DRIES, L.
|
4
|
11
|
0
|
1
|
0
|
0
|
3
|
1
|
0
|
0
|
ACMTCL-1;
FCM-1
|
ICM’1986
|
|||||||||||
KECHRIS,
A.
|
5
|
11
|
1
|
2
|
0
|
0
|
2
|
4
|
0
|
0
|
0
|
LACHLAN,
A.
|
4
|
16
|
0
|
4
|
15
|
1
|
3
|
0
|
0
|
0
|
AU-1;
AL-1; Th-1 (não está ativo desde +/-2000)
|
MAGIDOR,
M.
|
7
|
17
|
2
|
3
|
0
|
1
|
2
|
0
|
0
|
0
|
AI-2;
ICom-2, TCS-1
|
PERETYATKIN,
M.
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
AL-12
(apenas 2 artigos após 2002)
|
ICM’1983
|
|||||||||||
CHERLIN,
G.
|
7
|
12
|
2
|
0
|
0
|
0
|
3
|
0
|
0
|
0
|
AU-1
|
GIRARD,
J.
|
4
|
5
|
0
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
TCS-7;
MSCS-3; S-1; ICom-1; ML-1; JLC-1
|
LOEB,
P.
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
(Análise
não-standard – tudo em revistas gerais ou de Análise Matemática)
|
SHORE,
R.
|
12
|
20
|
2
|
7
|
3
|
2
|
1
|
5
|
0
|
0
|
TCS-1;
ICom-1
|
SLISENKO,
A.
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
(publicou
exclusivamente na URSS – revistas gerais. Não registra atividade após 1993)
|
ZIL’BER,
B.
|
2
|
1
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
AL-4
|
ICM’ 1978
|
|||||||||||
CONWAY,
J.
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
(convidado
por Numbers and Games?)
|
HARRINGTON,
L.
|
8
|
9
|
1
|
2
|
0
|
2
|
1
|
3
|
0
|
0
|
(pouca
atividade depois de 2003)
|
MACINTYRE,
A.
|
11
|
3
|
0
|
0
|
0
|
0
|
3
|
1
|
0
|
0
|
MSCS-1;
JCSS- 1
|
MAKANIN,
G.
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
0
|
TCS-1;
TIA-1 (publicou principalmente na URSS em revistas gerais)
|
MARTIN,
D.
|
2
|
6
|
0
|
0
|
2
|
0
|
2
|
1
|
0
|
0
|
To-1
(nada matemático após 2003)
|
SOARE,
R.
|
8
|
16
|
0
|
0
|
0
|
2
|
1
|
3
|
0
|
0
|
TCS-1
|
LEGENDA:
JSL = THE JOURNAL OF SYMBOLIC LOGIC
APAL = ANNALS OF PURE AND APPLIED LOGIC
JML = JOURNAL OF MATHEMATICAL LOGIC
FM = FUNDAMENTA MATHEMATICAE
MLQ = MATHEMATICAL LOGIC QUARTERLY
AML = ARCHIVE FOR MATHEMATICAL LOGIC
JLC = JOURNAL OF LOGIC AND COMPUTATION
IGPL = LOGIC JOURNAL OF THE IGPL
NDJFL = NOTRE DAME JOURNAL OF FORMAL LOGIC
SL = STUDIA LOGICA
BSL = THE BULLETIN OF SYMBOLIC LOGIC
JAL = JOURNAL OF APPLIED LOGIC
AL = ALGEBRA AND LOGIC
AU = ALGEBRA UNIVERSALIS
TCS = THEORETICAL COMPUTER SCIENCE
LMCS = LOGICAL METHODS IN COMPUTER SCIENCE
JCSS = JOURNAL OF COMPUTER AND SYSTEMS SCIENCE
IPL = INFORMATION PROCESSING LETTERS
MSCS = MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
ACMTCL = ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
S = SYNTHESE
JLA = JOURNAL OF LOGIC AND ANALYSIS
JUCS = JOURNAL OF UNIVERSAL COMPUTER SCIENCE
ENTCS = ELECTRONIC NOTES ON THEORETICAL COMPUTER SCIENCE
LA = LOGIQUE ET ANALYSE
CC = COMPUTATIONAL COMPLEXITY
ICom = INFORMATION AND COMPUTATION
RSA = RANDOM STRUCTURES & ALGORITHMS
CAI = COMPUTERS AND ARTIFICIAL INTELLIGENCE
CJTCS = CHICAGO JOURNAL OF THEORETICAL COMPUTER SCIENCE
TCSy = THEORY OF COMPUTING SYSTEMS
IJAC = INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
FCM = FOUNDATIONS OF COMPUTATIONAL MATHEMATICS
Th = THEORIA
AI = ARTIFICIAL INTELLIGENCE
ML = MODERN LOGIC
TIA = THEORETICAL INFORMATICS AND APPLICATIONS
To = TOPOI
Nenhum comentário:
Postar um comentário