% 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 = {},
}