Introduction o Intensively explored area o By 1960s, 1, 500 papers and books e By 1970s, 2, 700 papers and books o By 1980s, 3, 200 papers and books o By 1990s, 3, 600 papers and books o History O By 1850, George Boole's attempt to formalize roposition logic O At the end of 19th century, Charles S. Pierce and Ernst Schroder endently, Richar Dedekind mid-1930s Garrett Birkhoff develo loped general theory on latticeIntroduction Intensively explored area 1 By 1960s, 1,500 papers and books 2 By 1970s, 2,700 papers and books 3 By 1980s, 3,200 papers and books 4 By 1990s, 3,600 papers and books History 1 By 1850, George Boole’s attempt to formalize proposition logic. 2 At the end of 19th century, Charles S. Pierce and Ernst Schr¨oder 3 Independently, Richar Dedekind. 4 Until mid-1930’s, Garrett Birkhoff developed general theory on lattice. Yi Li (Fudan University) Discrete Mathematics February 28, 2012 3 / 15