% Encoding: UTF-8

%
% Math
%

@book{tangian2014,
  title     = {Mathematical Theory of Democracy},
  author    = {Andranik Tangian},
  publisher = {Springer-Verlag Berlin Heidelberg},
  isbn      = {978-3-642-38723-4,978-3-642-38724-1},
  year      = {2014},
  series    = {Studies in Choice and Welfare},
  edition   = {1},
  volume    = {},
  url       = {https://www.springer.com/gp/book/9783642387234},
}

@article{tangian2008,
  doi       = {10.1007/s00355-008-0295-y},
  title     = {A mathematical model of Athenian democracy},
  author    = {Andranik Tangian},
  publisher = {Springer},
  journal   = {Social Choice and Welfare},
  issn      = {0176-1714,1432-217X},
  year      = {2008},
  volume    = {31},
  issue     = {4},
  pages     = {537--572},
  url       = {http://doi.org/10.1007/s00355-008-0295-y}
}

@book{nagel2015,
  title     = {A prova de Gödel},
  author    = {Ernst Nagel; James. R. Newman},
  year      = {2015},
  publisher = {Perspectiva},
  series    = {Debates},
}

@book{struik1992,
  title     = {Historia Concisa da Matemática},
  author    = {Dirk J. Struik},
  publisher = {Gradiva},
  isbn      = {972-662-251-4},
  year      = {1992},
  series    = {Ciência Aberta},
  edition   = {2},
  volume    = {},
}

@book{richardson1922,
  title     = {Weather Prediction by Numerical Process},
  author    = {Lewis F. Richardson},
  publisher = {Cambridge University Press},
  isbn      = {},
  year      = {1922},
  series    = {},
  edition   = {},
  volume    = {},
}

% https://philpapers.org/rec/FEFITP
% https://math.stanford.edu/~feferman/papers/lrb.pdf
@article{feferman2006,
  author  = {Solomon Feferman},
  year    = {2006},
  title   = {Review - Incompleteness: The Proof and Paradox of Kurt Gödel},
  journal = {London Review of Books},
  volume  = {28},
  number  = {3},
  url     = {https://www.lrb.co.uk/the-paper/v28/n03/solomon-feferman/provenly-unprovable},
}

@book{godel1992,
  title     = {On Formally Undecidable Propositions of Principia Mathematica and Related Systems},
  author    = {Gödel, Kurt},
  publisher = {Dover Publications},
  isbn      = {0486669807,9780486669809},
  year      = {1992},
  series    = {},
  edition   = {},
  volume    = {},
}

@book{baaz2011,
  title     = {Kurt Gödel and the Foundations of Mathematics: Horizons of Truth  },
  author    = {Matthias Baaz and Christos H. Papadimitriou and Hilary W. Putnam and Dana S. Scott and Charles L. Harper},
  publisher = {Cambridge University Press},
  isbn      = {0521761441,9780521761444},
  year      = {2011},
  series    = {},
  edition   = {},
  volume    = {},
}

@book{copeland2013,
  title     = {Computability: Turing, Gödel, Church, and Beyond},
  author    = {B. Jack Copeland, Carl J. Posy, Oron Shagrir},
  publisher = {The MIT Press},
  isbn      = {0262018993,9780262018999},
  year      = {2013},
  series    = {},
  edition   = {},
  volume    = {},
}

@book{franzen2005,
  title     = {Gödel's Theorem: An Incomplete Guide to Its Use and Abuse},
  author    = {Torkel Franzén},
  publisher = {A K Peters, Ltd.},
  isbn      = {1568812388,9781568812380},
  year      = {2005},
  series    = {},
  edition   = {},
  volume    = {},
}

@book{smith2013,
  title     = {An introduction to Gödel's theorems},
  author    = {Gödel, Kurt and Gödel, Kurt Friedrich and Smith, Peter and Gödel, Kurt},
  publisher = {Cambridge University Press},
  isbn      = {978-1-107-02284-3,978-1-107-60675-3,1107022843,1107606756},
  year      = {2013},
  series    = {Cambridge introductions to philosophy},
  edition   = {2nd ed},
  volume    = {},
}

@book{feferman2010,
  title     = {Kurt Gödel: Essays for his Centennial},
  author    = {Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.)},
  publisher = {Cambridge University Press},
  isbn      = {0521115140,9780521115148},
  year      = {2010},
  series    = {Lecture Notes in Logic 33},
  edition   = {},
  volume    = {},
}

@book{brown1972,
  title     = {Laws of Form},
  author    = {George Spencer Brown},
  publisher = {Julian Press},
  isbn      = {},
  year      = {1972},
  series    = {},
  edition   = {},
  volume    = {},
  url       = {https://archive.org/details/LawsOfForm},
}

@article{varela1975,
  doi       = {10.1080/03081077508960828},
  title     = {A calculus for self-reference},
  author    = {Francisco J. Varela G.},
  publisher = {Taylor and Francis Group},
  journal   = {International Journal of General Systems},
  issn      = {0308-1079,1563-5104},
  year      = {1975},
  volume    = {2},
  issue     = {1},
  pages     = {5--24},
  url       = {http://doi.org/10.1080/03081077508960828}
}

@article{kauffman1980,
  title     = {Form dynamics},
  author    = {Louis H. Kauffman; Francisco J. Varela G.},
  publisher = {Academic Press Inc.},
  journal   = {Journal Social Biolo. Struct.},
  issn      = {},
  year      = {1980},
  volume    = {},
  issue     = {3},
  pages     = {171--296},
  url       = {}
}

@book{tsonis2008,
  title     = {Randomnicity: Rules and randomness in the realm of the infinite},
  author    = {Anastasios A. Tsonis},
  publisher = {Imperial College Press},
  isbn      = {1-84816-197-2,978-1-84816-197-9,978-1-84816-205-1,1-84816-205-7},
  year      = {2008},
  series    = {},
  edition   = {},
  volume    = {},
}

@unpublished{kauffman2020,
  title  = {Laws of Form - An Exploration in Mathematics and Foundations},
  author = {Louis H. Kauffman},
  year   = {2020},
  note   = {Rough draft},
  url    = {http://homepages.math.uic.edu/~kauffman/Laws.pdf},
}

@book{proclus1970,
  title     = {A commentary on the first book of Euclid’s Elements. Translated, with introduction and notes, by Glen R. Morrow.},
  author    = {Proclus},
  publisher = {Princeton University Press},
  isbn      = {ISBN 0-691-07160-8},
  year      = {1970},
  series    = {},
  edition   = {},
  volume    = {},
}

@book{proclus1992,
  title     = {A Commentary on the First Book of Euclid’s Elements},
  author    = {Proclus; Glenn R. Morrow},
  publisher = {Princeton University Press},
  isbn      = {0691020906,9780691020907},
  year      = {1992},
  series    = {},
  edition   = {Paperback},
  volume    = {},
}

@book{chaitin2003,
  title     = {From philosophy to program size},
  author    = {Chaitin G.},
  publisher = {Institute of Cybernetics, Tallinn Technical University},
  isbn      = {9985894553},
  year      = {2003},
  series    = {},
  edition   = {Tallinn},
  volume    = {},
}

@book{cheng2017,
  title     = "Beyond infinity: an expedition to the outer limits of mathematics",
  author    = "Eugenia Cheng",
  year      = "2017",
  publisher = "Basic Books",
  isbn      = "9780465094813,0465094813",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{cheng2017-2,
  title     = "Beyond Infinity: An Expedition to the Outer Limits of the Mathematical Universe",
  author    = "Cheng, Eugenia",
  year      = "2017",
  publisher = "Profile Books",
  isbn      = "1781252858",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{maor1987,
  title     = "To Infinity and Beyond: A Cultural History of the Infinite",
  author    = "Eli Maor",
  year      = "1987",
  publisher = "Birkhäuser Basel",
  isbn      = "978-1-4612-5396-9,978-1-4612-5394-5",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{maor1991,
  title     = "To Infinity and Beyond: A Cultural History of the Infinite",
  author    = "Eli Maor",
  publisher = "Princeton University Press",
  isbn      = "0691025118,9780691025117",
  year      = "1991",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{lieber2007,
  title     = "Infinity: Beyond the Beyond the Beyond",
  author    = "Lillian R. Lieber, Hugh Gray Lieber, Barry Mazur",
  year      = "2007",
  publisher = "Paul Dry Books",
  isbn      = "1589880366,9781589880368,0030295408,9780030295409",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{zippin2000,
  author    = "Zippin, Leo",
  title     = "Uses of Infinity",
  publisher = "Dover Publications",
  isbn      = "0486411788,9780486411781",
  year      = "2000",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{vilenkin1995,
  author    = "Vilenkin, N.Ya.",
  title     = "In search of infinity",
  publisher = "Birkhäuser",
  isbn      = "0817638199,9780817638191,3764338199",
  year      = "1995",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{peter2010,
  author    = "Rozsa Peter, Z. P. Dienes",
  title     = "Playing with Infinity. Mathematical Explorations and Excursions",
  publisher = "Dover Publications",
  isbn      = "9780486232652,0486232654",
  year      = "2010",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{reid1964,
  author    = "C., Reid",
  title     = "From Zero to Infinity: What Makes Numbers Interesting Expanded Edition",
  publisher = "Thomas Y. Crowell",
  isbn      = "",
  year      = "1964",
  series    = "",
  edition   = "3ed.",
  volume    = "",
  url       = "",
}

@book{guillen1983,
  author    = "Guillen, Michael",
  title     = "Bridges to Infinity: The Human Side of Mathematics",
  publisher = "Tarcher",
  isbn      = "9780874772333,0874772338",
  year      = "1983",
  series    = "",
  edition   = "1st",
  volume    = "",
  url       = "",
}

@book{joseph2009,
  author    = "Joseph, George Gheverghese",
  title     = "A Passage to Infinity: Medieval Indian Mathematics from Kerala and Its Impact",
  publisher = "",
  isbn      = "8132101685,9788132101680",
  year      = "2009",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{smullyan1992,
  author    = "Smullyan, Raymond M.",
  title     = "Satan, Cantor, And Infinity and Other Mind-Boggling Puzzles",
  publisher = "",
  isbn      = "0679406883,9780679406884,0192861611,9780192861610",
  year      = "1992",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{stillwell2010,
  author    = "Stillwell, John C.",
  title     = "Roads to Infinity: The Mathematics of Truth and Proof",
  publisher = "A K Peters",
  isbn      = "1568814666,9781568814667",
  year      = "2010",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{stewart1996,
  author    = "Stewart, Ian",
  title     = "From here to infinity",
  publisher = "Oxford University Press",
  isbn      = "0192832026,9780192832023",
  year      = "1996",
  series    = "",
  edition   = "Rev Sub",
  volume    = "",
  url       = "",
}

@book{faticoni2006,
  author    = "Faticoni, Theodore G.",
  title     = "The Mathematics of Infinity: A Guide to Great Ideas",
  publisher = "Wiley-Interscience",
  isbn      = "0471794325,9780471794325",
  year      = "2006",
  series    = "Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{faticoni2012,
  author    = "Theodore G. Faticoni",
  title     = "The Mathematics of Infinity: A Guide to Great Ideas",
  publisher = "Wiley",
  isbn      = "9781118204481,9781118243879",
  year      = "2012",
  series    = "",
  edition   = "2",
  volume    = "",
  url       = "",
}

@book{stewart2013,
  author    = "Stewart, Ian",
  title     = "Visions of Infinity: The Great Mathematical Problems",
  publisher = "Basic Books",
  isbn      = "9780465022403,9780465022403",
  year      = "2013",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{sheppard2014,
  author    = "Sheppard, Barnaby",
  title     = "The Logic of Infinity",
  publisher = "Cambridge University Press",
  isbn      = "1107058317,9781107058316",
  year      = "2014",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{clegg2013,
  author    = "Clegg, Brian",
  title     = "Introducing Infinity: A Graphic Guide",
  publisher = "Icon Books",
  isbn      = "184831406X,9781848314061",
  year      = "2013",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{clegg2013-2,
  author    = "Clegg, Brian",
  title     = "A Brief History of Infinity: The Quest to Think the Unthinkable",
  publisher = "Robinson",
  isbn      = "9781472107640,9781841196503",
  year      = "2013",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{sondheimer1981,
  author    = "Rogerson, Alan; Sondheimer, E. H",
  title     = "Numbers and infinity: a historical account of mathematical concepts",
  publisher = "Cambridge University Press",
  isbn      = "9780521240918,0521240913,9780521284332,0521284333",
  year      = "1981",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{wallace2010,
  author    = "David Foster Wallace, Neal Stephenson",
  title     = "Everything and More: A Compact History of Infinity",
  publisher = "W. W. Norton \& Company",
  isbn      = "0393339289,9780393339284",
  year      = "2010",
  series    = "",
  edition   = "Reissue",
  volume    = "",
  url       = "",
}

@book{huemer2016,
  author    = "Michael Huemer",
  title     = "Approaching Infinity",
  publisher = "Palgrave Macmillan UK",
  isbn      = "978-1-137-56086-5,978-1-137-56087-2",
  year      = "2016",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{peterson2001,
  author    = "Peterson, Ivars",
  title     = "Fragments of infinity",
  publisher = "John Wiley and sons",
  isbn      = "0471165581,2001024026",
  year      = "2001",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{waring2012,
  author    = "Waring, Chris",
  title     = "From 0 to Infinity in 26 Centuries: The Extraordinary Story of Maths",
  publisher = "Michael O'Mara",
  isbn      = "1843178737,9781843178736",
  year      = "2012",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{weyl2012,
  author    = "Weyl, Hermann",
  title     = "Levels of Infinity: Selected Papers on Mathematics and Philosophy",
  publisher = "Dover",
  isbn      = "978-0-486-48903-2,0-486-48903-5",
  year      = "2012",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{heller2011,
  author    = "Michael Heller, W. Hugh Woodin",
  title     = "Infinity: New Research Frontiers",
  publisher = "Cambridge University Press",
  isbn      = "1107003873,978-1-107-00387-3",
  year      = "2011",
  series    = "",
  edition   = "0",
  volume    = "",
  url       = "",
}

@book{kantor2009,
  author    = "Loren Graham and Jean-Michel Kantor",
  title     = "Naming Infinity: A True Story of Religious Mysticism and Mathematical Creativity",
  publisher = "",
  isbn      = "0674032934,9780674032934,0674053915,9780674053915",
  year      = "2009",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{kanigel1991,
  author    = "Kanigel, Robert",
  title     = "The man who knew infinity: a life of the genius Ramanujan",
  publisher = "Washington Square Press",
  isbn      = "9780671750619,0671750615",
  year      = "1991",
  series    = "",
  edition   = "5",
  volume    = "",
  url       = "",
}

@book{stewart2014,
  title     = "Em Busca do Infinito - Uma história da Matemática dos primeiro números à teoria do caos",
  author    = "Ian Stewart",
  publisher = "Zahar",
  isbn      = "9788537811931",
  year      = "2014",
  series    = "",
  edition   = "1",
  volume    = "",
  url       = "",
}

@book{strogatz2022,
  title     = "O poder do infinito",
  author    = "Steven Strogatz",
  year      = "2022",
  publisher = "Sextante",
  isbn      = "9786555643022",
  series    = "",
  edition   = "1ª",
  volume    = "",
  url       = "",
}

@book{aczel2011,
  title     = "The mystery of the aleph: mathematics, the kabbalah, and the search for infinity",
  author    = "Aczel, Amir D.",
  year      = "2011",
  publisher = "Washington Square Press",
  isbn      = "9780743422994,0743422996",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}

@book{hughes1976,
  title     = "Vicious Circles and Infinity: A Panoply of Paradoxes",
  author    = "Patrick Hughes and George Brecht",
  year      = "1976",
  publisher = "Jonathan Cape Ltd",
  isbn      = "0224011863,9780224011860",
  series    = "",
  edition   = "",
  volume    = "",
  url       = "",
}