% 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, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, 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; Gödel, Kurt Friedrich; Smith, Peter; 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    = {},
}