Teorema de l'ancumpletude de Gödel Teorema de la cumpletude de Gödel Proba de la cunsisténcia de la heipótese de l cuntinun culs axiomas de Zermelo-Fraenkel
L trabalho mais coincido de Gödel ye sou teorema de l'ancumpletude, ne l qual afirma que qualquiera sistema axiomático suficiente para ancluir l'aritmética de ls númaros anteiros nun puode ser a la par cumpleto i cunsistente.
Esto senefica que se l sistema ye outo-cunsistente, anton eisistiron proposiçones que nun poderán ser nin cumprobadas nin negadas por este sistema axiomático. I se l sistema fur cumpleto, anton el nun poderá balidar la si mesmo — serie anconsistente.
Bida
Natural de Brunn, porbíncia austro-húngara de la Morábia (hoije Brno, na República Tcheca), filho dun gerente de fábrica téxtil. Kurt era coincido na família cumo Dar Heirr Warun (Sr. Por qué?), por cunta de l grande númaro de preguntas que fazie.
Segundo l sou armano, Kurt tubo ua anfáncia feliç, mesmo sendo tímido i se aborrecendo facilmente. Fui batizado dues sumanas passado sou nacimiento cumo protestante luterano, segundo la religion de la mai, tenendo Friedrich Redlich cumo padrino i anspiraçon para sou segundo nome.
La purmeira guerra mundial nun l'atingiu diretamente, Brunn staba bien loinge de las zonas de batailha. Mas, an 1918, cul stablecimiento de la Tchecoslobáquia cumo nacion, houbo un eisolamiento de a minorie que falaba alman na cidade. Kurt renunciarie an 1929 a la cidadanie tcheca, tornando-se austríaco ouficialmente.
An 1923 cuncluiu, cun agabon, l curso fundamental na scuola almana de Brunn i ambora tubisse eicelente talento para lenguaiges, el se aperfundou an Stória i Matemática. Sou antresse pula Matemática oumentou an 1920, quando acumpanhou Rudolf, sou armano mais bielho, que fura para Biena cursar la Scuola de Medecina de la Ounibersidade de Biena. An sue adolescéncia, studou Goethe, l manual de Gabelsberger, la teorie de las quelores de Isaac Newton i las "Críticas" de Kant.
Studo an Biena
Ambora einicialmente pretendisse studar Física Teórica, als 18 anhos, el frequentou cursos de Matemática i Filosofie, cunseguindo lougo l mestrado an Matemática. Nessa época el adotou las eideias de l rialismo matemático. Leu la 'Metaphysische Anfangsgrunde Dar Naturwissenschaft', de Kant i participou de l Círclo de Biena juntamente cun Moritç Schlick, Hanes Hahn, i Rudolf Carnap.
Kurt studaba la teorie de ls númaros quando participou dun seminairo cun Moritç Schlick subre la "Antrodution to Mathematical Philosophy", de Bertrand Russell, i antressou-se eimediatamente pula lógica matemática.
Nessa época de grande atebidade, conheciu sue fetura mulhier Adele Nimbursky (nacida Porkert), ampeçou a publicar scritos subre lógica i frequentou aulas de David Hilbert, an Bolonha, subre la cumpletude i cunsisténcia de sistemas matemáticos.
An 1929 Gödel tornou-se cidadano austríaco i cumpletou sue dessertaçon para doutoramiento sob la superbison de Hanes Hahn, adonde stableciu la cumpletude de l cálclo de predicados de purmeira orde, tamien coincido cumo Teorema de la cumpletude de Gödel.
Trabalho an Biena
An 1930, graduou-se 'Doutor an Filosofie' i porduziu ua berson cumbinada de sous scritos subre la cumpletude, la qual fui publicada pula Academie de Ciéncias de Biena.
An 1931 publicou sou famoso teorema de l'ancumpletude ne l 'Uber formal unentscheidbare Sätze dar Principia Mathematica und berwandter Systeme'. Neste scrito el demunstrou que qualquiera sistema matemático axiomático, suficiente para ancluir l'aritmética de ls númaros naturales, necessariamente:
1. nun puode ser a la par cumpleto i cunsistente. (Teorema de la Ancumpletude)
2. se l sistema ye cunsistente, sue cunsisténcia nun puode ser probada anternamente al sistema.
Estes dous teoremas ancerrórun cientos d'anhos de tentatibas de stablecer un cunjunto cumpleto d'axiomas que possibelitassen deduzir to la Matemática cumo l "Principia Mathematica" ó ne l formalismo de Hilbert. Esso tamien amplica qu'un cumputador jamales puoda ser porgramado para respunder todas las questones matemáticas.
An 1932 fui diplomado pula Ounibersidade de Biena i, an 1933, tornou-se "Pribatdozent" (docente nun remunerado).
L'ascenson de Hitler al poder nun afetou diretamente la bida de Gödel an Biena, pus el nun tenie antresse an política. Antretanto, passado l'assassinato de Schlick por un studante nacional-socialista, Gödel quedou mui chocado i tubo sue purmeira crise depressiba.
Bejita a la América de l Norte
Nesse mesmo anho de 1933, biajou pa la América. Alhá, ancuontrou Albert Einstein i anscrebiu-se na cunferéncia anual de la Amarican Mathematical Society. Durante astanho el zambolbiu las eideias de cumputabelidade i de las funçones recursibas cul propósito de lecionar subre las funçones recursibas gerales i l cunceito de berdade matemática. Este trabalho fui zambolbido na ária de la teorie de ls númaros usando la custruçon de ls númaros de Gödel.
An 1934 Gödel apersentou ua série d'aulas ne l [Anstitute fur Adbanced Study] - (IAS) - de Princeton antituladas 'Subre las proposiçones andecidibles de ls sistemas matemáticos formales'. Stephen Klene, que justamente cumpletaba sou doutorado an Princeton, anotou essas aulas, las quales fúrun susequentemente publicadas.
Gödel besitou l IAS outra beç ne l outonho de 1935. La biaige fui defícel i saustiba, resultando nua recaída depressiba.
Boltou a lecionar an 1937 i durante esse anho trabalhou arduamente na proba de la cunsisténcia de la 'Heipótese de l Cuntinun'.
An 20 de setembre de 1938 casou-se cun Adele. Lougo passado besitou outra beç l IAS i, na primabera de 1939, la University of Notre Dame.
An 1938 anunciou la demunstraçon de la cunsisténcia relatiba de l Axioma de la Scolha,
la Heipótese Generalizada de l Cuntino i outros enunciados, sob l suposto de que ls axiomas de la Teorie de Cunjuntos (sin l Axioma de la Scolha) son cunsistentes[2], mas la proba cumpleta solo será publicada an 1940[3]. Esse trabalho cuntribui pa l sclarecimiento de l purmeiro Porblema de Hilbert.
Trabalho an Princeton
Passado aneixaçon de la Áustria pula Almanha, an 1938, l títalo de "Pribatdozent" de Gödel fui zaparecido i el fui cumbocado la se cunscrebir ne l Eisercito Nazista.
An Janeiro de 1940, el i sue mulhier saíran de la Ouropa atrabeç de la camino de fierro tras-siberiana i biajórun pula Rússia i Japon, até chegáren a la América de l Norte an 4 de márcio de 1940. Stablecírun-se an Princeton, quando Gödel recebiu grande apoio de Norbert Wiener i passou a antegrar l IAS. Nessa época, boltou-se pa la Filosofie i Física, studando detalhadamente ls trabalhos de Gottfried Leibniç, Kant i Edmund Husserl.
Ne l final de 1940 demunstrou l'eisisténcia de la soluçon paradoxal de las eiquaçones de campo de la teorie giral de la relatebidade de Albert Einstein. Cuntinando sous trabalhos an lógica, ne l mesmo anho, publicou l studo subre la 'cunsisténcia de l'axioma de la scolha i de l'heipótese de l cuntinun generalizada culs axiomas de la teorie de ls cunjuntos', l qual tornou-se un de ls assuntos clássicos de la Matemática Moderna.
An 1946 Gödel tornou-se nembro permanente de l IAS i an 1948 naturalizou-se cidadano stadunidense. Passou a porsor pleno de l'anstituto an 1953 i porsor emérito an 1976.
Ne l'ampeço de la década de 1970, Gödel çtribuiu als amigos un studo de la proba ontológica de l'eisisténcia de Dius eilaborada por Gottfried Leibniç, l qual acabou sendo coincido cumo "proba ontológica de Gödel".
Kurt Gödel recebiu muitos prémios i honraries durante sue bida i tamien l purmeiro Prémio Albert Einstein, an 1951. An 1974 recebiu la Medalha Nacional de Ciéncia.
Ne l final de sue bida, Gödel acraditaba star sendo ambenenado i recusaba-se a comer, falecendo an 14 de janeiro de 1978, an Princeton.
Publicaçones çtacadas
Uber formal unentscheidbare Sätze dar Principia Mathematica und berwandter Systeme.- I. Monatshefte fur Mathematik und Physik, bol. 38 (1931), pp 173–198. (çponible an Anglés in "Fron Frege to Gödel", ban Heijenort, Harbard Ounib. Press, 1971. - [4]Arquibado an 2002-12-12 ne l Wayback Machine. )
The Cunsistency of the Axion of Choice and of the Generalized Cuntinun Hypothesis with the Axioms of Set Theory. Princeton University Press: Princeton, 1940. Reimpresso an Colleted Works, belume II, pp. 33–101.
What is Cantor's cuntinun porblen? The Amarican Mathematical Monthly, 54, 1947, pp. 515–525. Berson rebisada an: Paul Benacerraf and Hilary Putnan (eds.). Philosophy of Mathematics: Seleted Readings. Cambridge Ounib. Press: Cambridge, 1964, pp. 470–485.
[2]The cunsistency of the axion of choice and of the generalized cuntinun hypothesis. Reimpresso an Colleted Works, belume II, pp. 26–27.
[3]The cunsistency of the axion of choice and of the generalized cuntinun hypothesis with the axioms of set theory. Reimpresso an Colleted Works, belume II, pp. 33–101.
Teoria da argumentação · Axiologia · Pensamento crítico · Teoria da computabilidade · Semântica formal · História da lógica · Lógica informal · Lógica na ciência da computação ·Lógica matemática·Matemática·Metalógica · Metamatemática · Teoria dos modelos · Lógica filosófica · Filosofia · Filosofia da lógica · Filosofia da matemática · Teoria das provas · Teoria dos conjuntos
Teorema de Cantor · Teorema de Church · Tese de Church · Consistência ·Método efetivo · Fundamentos da matemática · Teorema da completude de Gödel · Teoremas da incompletude de Gödel · Solidez ·Completude · Decidabilidade · Interpretação · Teorema de Löwenheim–Skolem · Metateorema ·Satisfabilidade · Independência · Distinção Sin-signo e Legi-signo · Distinção uso/menção
Linguagem formal · Regra de formação · Sistema formal · Sistema dedutivo · Prova formal · Semântica formal · Fórmula bem formulada · Conjunto · Elemento · Classe ·Lógica clássica · Axioma · Dedução natural · Regra de inferência · Relação · Teorema · Consequência lógica · Sistema axiomático · Teoria dos tipos · Símbolo · Sintaxe · Teoria
Lógica aristotélica
Proposição · Inferência · Argumento · Validade · Irrefutabilidade · Silogismo · Quadrado das oposições · Diagrama de Venn
Primeira ordem · Quantificadores · Predicado · Segunda ordem · Cálculo do predicado monádico
Teoria dos conjuntos
Conjunto · Conjunto vazio · Enumeração · Extensionabilidade · Conjunto finito · Função · Subconjunto · Conjunto de partes · Conjunto contável · Conjunto recursivo · Domínio · Imagem da função · Par ordenado · Conjunto incontável
Teoria dos modelos
Modelo · Interpretação · Modelo não-padrão · Teoria do modelo finito ·Valor da verdade · Validade
Teoria da prova
Prova formal · Sistema dedutivo · Sistema formal · Teorema · Consequência lógica · Regra de inferência · Sintaxe
Teoria da computabilidade
Recursão · Conjunto recursivo · Conjunto enumerável recursivamente · Problema da decisão · Tese de Church-Turing
· Função computável · Função recursiva primitiva
1964: Roger Adams, Othmar Ammann, Theodosius Dobzhansky e Neal Elgar Miller
Década de 1980
1986: Herbert Simon ·1987: Anne Anastasi e George Joseph Stigler ·1988: Milton Friedman
Década de 1990
1990: Leonid Hurwicz e Patrick Suppes ·1991: Robert Kates e George Armitage Miller ·1992: Eleanor J. Gibson ·1994: Robert K. Merton ·1995: Roger Shepard ·1996: Paul Samuelson ·1997: William Kaye Estes ·1998: William Julius Wilson ·1999: Robert Solow
Década de 2000
2000: Gary Becker ·2001: George Bass ·2003: R. Duncan Luce ·2004: Kenneth Arrow ·2005: Gordon H. Bower ·2008: Michael Posner ·2009: Mortimer Mishkin
Década de 2010
2011: Anne Treisman
Ciências Biológicas
Década de 1960
1963: Cornelis Bernardus van Niel ·1964: Marshall Nirenberg ·1965: Francis Rous, George Gaylord Simpson e Donald Van Slyke ·1966: Edward Fred Knipling, Fritz Albert Lipmann, William Cumming Rose e Sewall Wright ·1967: Kenneth Stewart Cole, Harry Harlow, Michael Heidelberger e Alfred Sturtevant ·1968: Horace Barker, Bernard Brodie, Detlev Bronk, Jay Lush e Burrhus Frederic Skinner ·1969: Robert Huebner, Ernst Mayr
Década de 1970
1970: Barbara McClintock e Albert Sabin·1973: Daniel Arnon e Earl Sutherland ·1974: Britton Chance, Erwin Chargaff, James V. Neel e James Augustine Hannon ·1975: Hallowell Davis, Paul Gyorgy, Sterling Brown Hendricks e Orville Vogel ·1976: Roger Guillemin, Keith Roberts Porter, Efraim Racker e Edward Osborne Wilson ·1979: Robert H. Burris, Elizabeth C. Crosby, Arthur Kornberg, Severo Ochoa, Earl Reece Stadtman, George Ledyard Stebbins e Paul Alfred Weiss
Década de 1980
1981: Philip Handler ·1982: Seymour Benzer, Glenn W. Burton e Mildred Cohn ·1983: Howard L. Bachrach, Paul Berg, Wendell L. Roelofs e Berta Scharrer ·1986: Stanley Cohen, Donald Henderson, Vernon Mountcastle, George Palade e Joan A. Steitz ·1987: Michael E. Debakey, Theodor Otto Diener, Harry Eagle, Har Khorana e Rita Levi-Montalcini ·1988: Michael Stuart Brown, Stanley Norman Cohen, Joseph Goldstein, Maurice Hilleman, Eric Kandel e Rosalyn Yalow ·1989: Katherine Esau, Viktor Hamburger, Philip Leder, Joshua Lederberg, Roger Sperry e Harland G. Wood
Década de 1990
1990: Baruj Benacerraf, Herbert Boyer, Daniel Koshland, Edward Lewis, David G. Nathan e Edward Donnall Thomas ·1991: Mary Ellen Avery, G. Evelyn Hutchinson, Elvin A. Kabat, Salvador Luria, Paul A. Marks, Folke K Skoog e Paul C. Zamecnik ·1992: Maxine Singer e Howard Martin Temin ·1993: Daniel Nathans e Salome G. Waelsch ·1994: Thomas Eisner e Elizabeth F. Neufeld ·1995: Alexander Rich ·1996: Ruth Patrick ·1997: James Watson e Robert Allan Weinberg ·1998: Bruce Ames e Janet Rowley ·1999: David Baltimore, Jared Diamond e Lynn Margulis
Década de 2000
2000: Nancy C. Andreasen, Peter H. Raven e Carl Woese ·2001: Francisco José Ayala, Mario R. Capecchi, Ann M. Graybiel, Gene Likens, Victor A. McKusick e Harold Varmus ·2002: James E. Darnell e Evelyn M. Witkin ·2003: John Michael Bishop, Solomon H. Snyder e Charles Yanofsky ·2004: Norman Ernest Borlaug, Phillip Allen Sharp e Thomas Starzl ·2005: Anthony Fauci e Torsten Wiesel ·2006: Rita R. Colwell, Nina Fedoroff e Lubert Stryer ·2007: Robert Lefkowitz e Bert W. O'Malley
2008: Francis Collins, Elaine Fuchs, Craig Venter
2009: Susan Lindquist, Stanley Prusiner
Década de 2010
2010: Ralph Brinster, Shu Chien, Rudolf Jaenisch ·2011: Lucy Shapiro, Leroy Hood, Sallie Chisholm
Química
Década de 1980
1982: Frank Albert Cotton e Gilbert Stork ·1983: Roald Hoffmann, George Claude Pimentel e Richard Zare ·1986: Harry Barkus Gray, Yuan Lee, Carl Shipp Marvel e Frank Westheimer ·1987: William Summer Johnson, Walter Hugo Stockmayer e Max Tishler ·1988: William Oliver Baker, Konrad Bloch e Elias James Corey ·1989: Richard Barry Bernstein, Melvin Calvin, Rudolph Arthur Marcus e Harden McConnell
Década de 1990
1990: Elkan Blout, Karl August Folkers e John D. Roberts ·1991: Ronald Breslow, Gertrude Elion, Dudley Robert Herschbach e Glenn Theodore Seaborg ·1992: Howard Ensign Simmons ·1993: Donald James Cram e Norman Hackerman ·1994: George Simms Hammond ·1995: Thomas Cech e Isabella Karle ·1996: Norman Davidson ·1997: Darleane Hoffman e Harold S. Johnston ·1998: John Werner Cahn e George Whitesides ·1999: Stuart Alan Rice, John Ross e Susan Solomon
Década de 2000
2000: John Baldeschwieler e Ralph Hirschmann ·2001: Ernest Roy Davidson e Gábor Somorjai ·2002: John Brauman ·2004: Stephen Lippard ·2006: Marvin Caruthers e Peter Dervan ·2007: Mostafa El-Sayed ·2008: Joanna Fowler e JoAnne Stubbe ·2009: Stephen James Benkovic e Marye Anne Fox
Década de 2010
2010: Jacqueline Barton e Peter John Stang ·2011: Allen Joseph Bard e Frederick Hawthorne
Ciências da Engenharia
Década de 1960
1962: Theodore von Kármán ·1963: Vannevar Bush e John Robinson Pierce ·1964: Charles Stark Draper ·1965: Hugh Latimer Dryden, Clarence Johnson e Warren Lewis ·1966: Claude Shannon ·1967: Edwin Land e Igor Sikorsky ·1968: John Presper Eckert e Nathan M. Newmark ·1969: Jack Kilby
Década de 1970
1970: George Mueller ·1973: Harold Eugene Edgerton e Richard Whitcomb ·1974: Rudolf Kompfner, Ralph Brazelton Peck e Abel Wolman ·1975: Manson Benedict, William Hayward Pickering, Frederick Terman e Wernher von Braun ·1976: Morris Cohen, Peter Carl Goldmark e Erwin Wilhelm Müller ·1979: Emmett Leith, Raymond Mindlin, Robert Noyce, Earl Randall Parker e Simon Ramo
Década de 1980
1982: Edward Heinemann e Donald Katz ·1983: Bill Hewlett, George Low e John George Trump ·1986: Hans Wolfgang Liepmann, Tung-Yen Lin e Bernard Oliver ·1987: Robert Byron Bird, Harry Bolton Seed e Ernst Weber ·1988: Daniel Drucker, Willis Hawkins e George W. Housner ·1989: Harry George Drickamer e Herbert Earl Grier
Década de 1990
1990: Mildred Dresselhaus e Nick Holonyak ·1991: George Heilmeier, Luna Leopold e Guyford Stever ·1992: Calvin Quate e John Roy Whinnery ·1993: Alfred Yi Cho ·1994: Ray Clough ·1995: Hermann Anton Haus ·1996: James Flanagan e Chandra Kumar Patel ·1998: Eli Ruckenstein ·1999: Kenneth N. Stevens
Década de 2000
2000: Yuan-Cheng Fung ·2001: Andreas Acrivos ·2002: Leo Beranek ·2003: John Prausnitz ·2004: Edwin Lightfoot ·2005: Jan Achenbach e Tobin Marks ·2006: Robert Langer ·2007: David Wineland ·2008: Rudolf Kalman ·2009: Amnon Yariv
Ciências Matemáticas, Estatísticas e Computacionais
Década de 1960
1963: Norbert Wiener ·1964: Solomon Lefschetz e Marston Morse ·1965: Oscar Zariski ·1966: John Milnor ·1967: Paul Cohen ·1968: Jerzy Neyman ·1969: William Feller
Década de 1970
1970: Richard Brauer ·1973: John Tukey ·1974:Kurt Gödel·1975: John Backus, Shiing-Shen Chern e George Dantzig ·1976: Kurt Otto Friedrichs e Hassler Whitney ·1979: Joseph Leo Doob e Donald Knuth
Década de 1980
1982: Marshall Harvey Stone ·1983: Herman Goldstine e Isadore Singer ·1986: Peter Lax e Antoni Zygmund ·1987: Raoul Bott e Michael Freedman ·1988: Ralph Gomory e Joseph Keller ·1989: Samuel Karlin, Saunders Mac Lane e Donald Spencer
Década de 1990
1990: George Carrier, Stephen Kleene e John McCarthy ·1991: Alberto Calderón ·1992: Allen Newell ·1993: Martin Kruskal ·1994: John Cocke ·1995: Louis Nirenberg ·1996: Richard Karp e Stephen Smale ·1997: Shing-Tung Yau ·1998: Cathleen Synge Morawetz ·1999: Felix Browder e Ronald Coifman
Década de 2000
2000: John Griggs Thompson e Karen Uhlenbeck ·2001: Calyampudi Radhakrishna Rao e Elias Stein ·2002: James Glimm ·2003: Carl de Boor ·2004: Dennis Sullivan ·2005: Bradley Efron ·2006: Hyman Bass ·2007: Leonard Kleinrock e Andrew Viterbi
2009: David Mumford
Década de 2010
2010: Richard Alfred Tapia e S. R. Srinivasa Varadhan
2011: Solomon Wolf Golomb e Barry Mazur
Ciências Físicas
Década de 1960
1963: Luis Walter Alvarez ·1964: Julian Schwinger, Harold Clayton Urey e Robert Burns Woodward ·1965: John Bardeen, Peter Debye, Leon Max Lederman e William Walden Rubey ·1966: Jacob Bjerknes, Subrahmanyan Chandrasekhar, Henry Eyring, John Hasbrouck Van Vleck e Vladimir Zworykin ·1967: Jesse Beams, Francis Birch, Gregory Breit ·
Louis Plack Hammett e George Kistiakowsky ·1968: Paul Doughty Bartlett, Herbert Friedman, Lars Onsager e Eugene Paul Wigner ·1969: Herbert Charles Brown e Wolfgang Panofsky
Década de 1970
1970: Robert Henry Dicke, Allan Rex Sandage, John Clarke Slater, John Archibald Wheeler e Saul Winstein ·1973: Carl Djerassi, William Maurice Ewing, Arie Jan Haagen-Smit, Vladimir Haensel, Frederick Seitz e Robert Rathbun Wilson ·1974: Nicolaas Bloembergen, Paul John Flory, William Alfred Fowler, Linus Pauling e Kenneth Sanborn Pitzer ·1975: Hans Bethe, Joseph Hirschfelder, Lewis Hastings Sarett, Edgar Bright Wilson e Chien-Shiung Wu ·1976: Samuel Abraham Goudsmit, Herbert S. Gutowsky, Frederick Rossini, Verner Suomi, Henry Taube e George Eugene Uhlenbeck ·1979: Richard Feynman, Hermann Mark, Edward Mills Purcell, John Sinfelt, Lyman Spitzer e Victor Weisskopf
Década de 1980
1982: Philip Warren Anderson, Yoichiro Nambu, Edward Teller e Charles Hard Townes ·1983: Margaret Burbidge, Maurice Goldhaber, Helmut Landsberg, Walter Munk, Frederick Reines, Bruno Rossi e John Robert Schrieffer ·1986: Solomon Buchsbaum, Horace Crane, Herman Feshbach, Robert Hofstadter e Chen Ning Yang ·1987: Philip Abelson, Walter Elsasser, Paul Christian Lauterbur, George Pake e James van Allen ·1988: David Allan Bromley, Chu Ching-wu, Walter Kohn, Norman Foster Ramsey, Jack Steinberger ·1989: Arnold Orville Beckman, Eugene Parker, Robert Sharp e Henry Stommel
Década de 1990
1990: Allan Cormack, Edwin Mattison McMillan, Robert Pound e Roger Revelle ·1991: Arthur Schawlow, Ed Stone e Steven Weinberg ·1992: Eugene Shoemaker ·1993: Val Logsdon Fitch e Vera Rubin ·1994: Albert Overhauser e Frank Press ·1995: Hans Georg Dehmelt e Peter Goldreich ·1996: Wallace Smith Broecker ·1997: Marshall Rosenbluth, Martin Schwarzschild e George Wetherill ·1998: Don Lorraine Anderson e John Norris Bahcall ·1999: James Watson Cronin e Leo Kadanoff
Década de 2000
2000: Willis Eugene Lamb, Jeremiah Paul Ostriker e Gilbert Fowler White ·2001: Marvin Cohen, Raymond Davis Jr. e Charles Keeling ·2002: Richard Garwin, William Jason Morgan e Edward Witten ·2003: Brent Dalrymple, Riccardo Giacconi ·2004: Robert N. Clayton ·2005: Ralph Alpher e Lonnie Thompson ·2006: Daniel Kleppner ·2007: Fay Ajzenberg-Selove e Charles Pence Slichter ·2008: Berni Alder e James Gunn ·2009: Yakir Aharonov, Esther Marley Conwell e Warren Washington
Década de 2010
2011: Sidney Drell, Sandra Faber, Sylvester James Gates e John Goodenough