- 2009 - Karol Pak
*The Nagata-Smirnov Theorem. Part II*(NAGATA_2). - 2010 - Marco Riccardi
*The Definition of Topological Manifolds*(MFOLD_1). - 2011 - Marco B. Caminati
*Sequent calculus, derivability, provability. Goedel's completeness theorem*(FOMODEL4). - 2012 - Mariusz Giero
*Weak Completeness Theorem for Propositional Linear Time Temporal Logic*(LTLAXIO4). - 2013 - Boris Shminke
*Routh's, Menelaus' and Generalized Ceva's Theorems*(MENELAUS). - 2014 - Yasushige Watase
*Lagrange's Four-Square Theorem*(LAGRA4SQ).

The initiator and first founder of this prize is Prof. Krystyna Kuperberg (Auburn University).

Value of prize:

- 1990 - Zinaida Trybulec and Halina Swieczkowska
for
*Boolean Properties of Sets*(BOOLE) - 1991 - Krzysztof Hryniewiecki
for
*Basic Properties of Real Numbers*(REAL_1) - 1992 - Grzegorz Bancerek and Krzysztof Hryniewiecki
for
*Segments of Natural Numbers and Finite Sequences*(FINSEQ_1) - 1993 - Henryk Oryszczyszyn and Krzysztof Prazmowski
for
*Parallelity and Lines in Affine Spaces*(AFF_1) - 1994 - Czeslaw Bylinski
for
*Functions and Their Basic Properties*(FUNCT_1) - 1995 - Grzegorz Bancerek
for
*The Fundamental Properties of Natural Numbers*(NAT_1) - 1996 - Czeslaw Bylinski
for
*Some Basic Properties of Sets*(ZFMISC_1) - 1997 - Czeslaw Bylinski
for
*Functions from a Set to a Set*(FUNCT_2) - 1998 - Andrzej Trybulec for
*Strong Arithmetic of Real Numbers*(AXIOMS) - 1999 - Wojciech A. Trybulec for
*Vectors in Real Linear Space*(RLVECT_1) - 2000 - Andrzej Kondracki for
*Equalities and Inequalities In Real Numbers*(REAL_2) - 2001 - Yatsuka Nakamura and Andrzej Trybulec for
*A Mathematical Model of CPU*(AMI_1) - 2002 - Andrzej Trybulec and Czeslaw Bylinski for
*Some Properties of Real Numbers. Operations: min, max, square, and square root*(SQUARE_1) - 2003 - Edmund Woronowicz for
*Relations and Their Basic Properties*(RELAT_1) - 2004 - Agata Darmochwal for
*The Euclidean Space*(EUCLID)

- 1990 - Grzegorz Bancerek
- 1991 - not granted
- 1992 - Zbigniew Karno for TDLAT_3 (
*The Lattice of Domains of an Extremally Disconnected Space*) - 1993 - Yatsuka Nakamura and Andrzej Trybulec
- 1994 - not granted
- 1995 - not granted
- 1996 - not granted
- 1997 - not granted
- 1998 - Adam Grabowski for WAYBEL17
(
*Scott-Continuous Functions*) - 1999 - not granted
- 2000 - Adam Grabowski for HEYTING2
(
*Lattice of Substitutions Is a Heyting Algebra*) - 2001 - not granted
- 2002 - not granted
- 2003 - not granted
- 2004 - not granted
- 2005 - Artur Kornilowicz for JORDAN (
*Jordan Curve Theorem*). - 2006 - not granted
- 2007 - not granted
- 2008 - Noboru Endou, Keiko Narita and Yasunari Shidama
for MESFUN10 (
*Fatou's Lemma and the Lebesgue's Convergence Theorem*) - 2011 - not granted
- 2012 - Julian J. Schloeder and Peter Koepke for
GOEDCPUC
(
*The Goedel Completeness Theorem for Uncountable Languages*)

- Michal Swiecki (granted on October 10, 1989)
- Marek Kordos (granted on October 10, 1989)
- Witold Marciszewski (granted on January 5, 1991)
- Andrzej Jacek Blikle (granted on February 22, 1992)

[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: February 2, 2016