https://pinboard.in/u:beastaugh/public/ recent bookmarks from beastaugh 2024-11-19T19:54:45+00:00 https://staff.fnwi.uva.nl/u.endriss/teaching/comsoc/2017/ beastaughcomsoc socialchoicetheory logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:0624516a1ed3/ 2024-10-16T23:29:14+00:00 https://web.archive.org/web/20120510091236/http://www.timeshighereducation.co.uk/story.asp?storyCode=148896&sectioncode=26 beastaugh logic finance davidseetapun computability https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f7ff2f979215/ 2024-05-11T19:03:46+00:00 https://www.3-16am.co.uk/articles/waitwhat-2-remembering-charles-parsons?c=waitwhat beastaughcharlesparsons logic philosophyofmaths https://pinboard.in/ https://pinboard.in/u:beastaugh/b:8c3992ce63da/ 2024-03-25T00:20:27+00:00 https://richardzach.org/2024/03/w-w-tait-1929-2024/ beastaughbilltait mathematics logic prooftheory philosophy history finitism hilbert obituary https://pinboard.in/ https://pinboard.in/u:beastaugh/b:611d2c9a0d16/ 2023-02-08T18:35:19+00:00 https://digressionsnimpressions.typepad.com/digressionsimpressions/2023/02/on-roy-cook-on-the-historiography-of-freges-logic.html beastaughfrege logic historyofphilosophy https://pinboard.in/ https://pinboard.in/u:beastaugh/b:ac8740da22c0/ 2021-02-10T17:45:27+00:00 https://handlingideas.blog/2021/02/05/the-stoic-foundations-of-analytic-philosophy-on-susanne-bobziens-groundbreaking-discovery-in-frege-and-prantl/ beastaughlogic history philosophy frege stoicism https://pinboard.in/ https://pinboard.in/u:beastaugh/b:6999c0927c2a/ 2021-02-04T18:07:20+00:00 https://philosopherscocoon.typepad.com/blog/2021/02/logic-resources.html beastaughlogic teaching learning https://pinboard.in/ https://pinboard.in/u:beastaugh/b:a9095c366e79/ 2020-12-30T16:25:45+00:00 https://richardzach.org/2020/05/18/satisfaction-and-assignments/ beastaughlogic teaching modeltheory tarski https://pinboard.in/ https://pinboard.in/u:beastaugh/b:1f7a7dd798d4/ 2020-11-16T15:57:49+00:00 https://www.sdsc.edu/ScienceWomen/peter.html beastaughcomputability rózsapéter history mathematics teaching logic hungary https://pinboard.in/ https://pinboard.in/u:beastaugh/b:92970ff4783b/ 2020-11-16T15:57:26+00:00 https://projecteuclid.org/download/pdf_1/euclid.rml/1204835279 beastaughcomputability rózsapéter history mathematics feminism women logic teaching hungary https://pinboard.in/ https://pinboard.in/u:beastaugh/b:58420132443a/ 2020-11-13T13:29:35+00:00 https://blog.nus.edu.sg/matwong/teach/modelarith/ beastaugh modeltheory arithmetic logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:a2b4fe176657/ 2020-05-25T15:04:41+00:00 https://landondcelkind.com/2020/05/24/tracing-the-symbol-for-disjunction/ beastaughlogic disjunction notation history russell peano https://pinboard.in/ https://pinboard.in/u:beastaugh/b:64047ed1e39b/ 2018-05-13T21:37:15+00:00 https://cs.nyu.edu/pipermail/fom/1998-April/001833.html beastaughcomputability tedslaman logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:fbb1aa8baabc/ 2017-02-24T16:03:16+00:00 http://nautil.us/issue/45/power/this-man-is-about-to-blow-up-mathematics beastaughlogic mathematics harveyfriedman https://pinboard.in/ https://pinboard.in/u:beastaugh/b:09c75e683c94/ 2017-02-22T22:39:09+00:00 http://diaryofdoctorlogic.blogspot.de/2017/02/how-i-run-my-advanced-seminar.html beastaughlogic teaching https://pinboard.in/ https://pinboard.in/u:beastaugh/b:49a9362dcb19/ 2016-12-19T01:56:06+00:00 http://diaryofdoctorlogic.blogspot.co.uk/2016/12/how-to-teach-introductory-logic-to.html beastaughlogic teaching https://pinboard.in/ https://pinboard.in/u:beastaugh/b:3975b2bdb311/ 2016-11-17T15:33:06+00:00 http://diaryofdoctorlogic.blogspot.de/2016/11/why-do-we-teach-1st-year-philosophers.html beastaughlogic teaching https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b30778d57c76/ 2016-10-06T03:15:52+00:00 http://selp.apnetwork.it/sito/userfiles/alessio/file/abstract-092012/Short%20Pulcini.pdf beastaugh philosophy math logic https://twitter.com/ https://pinboard.in/u:beastaugh/b:8f69d17d2c51/ 2016-03-07T22:27:31+00:00 http://arxiv.org/pdf/1603.01342v1.pdf beastaugh math logic https://twitter.com/ https://pinboard.in/u:beastaugh/b:935e54262dc2/ 2015-11-03T19:17:29+00:00 http://www.iep.utm.edu/lindenba/ beastaugh history math logic https://twitter.com/ https://pinboard.in/u:beastaugh/b:936cc0089da8/ 2015-10-27T17:34:18+00:00 http://richardzach.org/2015/10/27/herbrand-photograph-by-natascha-artin-brunswick/ beastaugh logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:d5f832fc9ff5/ 2014-11-06T19:33:50+00:00 http://dorais.org/archives/650 beastaughreversemathematics computability logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:70a56eaebfd7/ 2014-11-06T19:33:22+00:00 http://boolesrings.org/victoriagitman/2014/10/23/separating-the-choice-scheme-from-the-parameter-free-choice-scheme-in-second-order-arithmetic/ beastaughreversemathematics logic settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b4e1f83285e1/ 2014-03-23T12:08:19+00:00 http://www.cs.nyu.edu/pipermail/fom/2002-July/005699.html beastaughlogic reversemathematics mostowski fom https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f1b4bf270a22/ 2013-09-30T22:28:37+00:00 http://mathoverflow.net/questions/59262/induction-the-infinitude-of-the-primes-and-workaday-number-theory beastaughlogic numbertheory mathematics primes https://pinboard.in/ https://pinboard.in/u:beastaugh/b:40359e128692/ 2013-09-14T22:38:18+00:00 http://tigerneil.wordpress.com/2012/07/13/a-brief-history-of-logic-at-ucla/ beastaughlogic history academia ucla caltech losangeles settheory computability https://pinboard.in/ https://pinboard.in/u:beastaugh/b:9f5405c1c041/ 2013-09-13T15:57:23+00:00 http://www.stanford.edu/~psuppes/autobio3.html beastaughlogic philosophy academia learning tarski https://pinboard.in/ https://pinboard.in/u:beastaugh/b:6eaaeb84b276/ 2013-08-17T11:27:16+00:00 http://math.stackexchange.com/questions/468043/examples-of-statements-which-are-true-but-not-provable beastaugh mathematics logic incompleteness https://pinboard.in/ https://pinboard.in/u:beastaugh/b:57d6fb911862/ 2013-08-12T15:08:54+00:00 http://dorais.org/archives/1080 beastaugh reversemathematics settheory logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:9e602b455207/ 2013-08-11T12:56:09+00:00 http://mathoverflow.net/questions/138979/who-first-proved-theres-an-omega-model-of-mathsfwkl-0-in-which-all-sets beastaugh reversemathematics logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e0e5f5fff15f/ 2013-08-09T16:46:48+00:00 http://mathoverflow.net/questions/98763/godels-incompleteness-can-the-diagonalization-be-done-in-computation-rather-th?rq=1 beastaughmathematics logic computability https://pinboard.in/ https://pinboard.in/u:beastaugh/b:3d1b5c05013c/ 2013-06-19T16:34:58+00:00 http://jeff560.tripod.com/set.html beastaughhistory logic mathematics symbols https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5dd7389d7088/ 2013-04-27T21:33:08+00:00 http://mathoverflow.net/questions/128618/deriving-konigs-lemma-directly-from-infinite-ramseys-theorem-for-triples beastaughmathematics reversemathematics logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:97c460e43b13/ 2013-03-11T11:40:21+00:00 http://www.math.psu.edu/simpson/sosoa/update-050630.html beastaughreversemathematics research phd logic mathematics computability https://pinboard.in/ https://pinboard.in/u:beastaugh/b:d41de792a1d6/ 2013-02-18T08:22:12+00:00 http://www.uwgb.edu/dutchs/symmetry/aperiod.htm beastaughmathematics tilings logic computability symmetry https://pinboard.in/ https://pinboard.in/u:beastaugh/b:7570511ec472/ 2013-01-13T13:59:05+00:00 http://www3.nd.edu/~cholak/computability/computability.html beastaughcomputability mathematics people logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:909aa8519372/ 2013-01-10T16:22:01+00:00 http://en.wikipedia.org/wiki/Resolution_(logic) beastaughlogic algorithms https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f39f0575eb9b/ 2013-01-08T23:30:03+00:00 https://sites.google.com/site/phdsinlogicv/home/call-for-papers beastaughphd conference logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e3bb9f41155b/ 2013-01-04T18:35:51+00:00 http://math.stackexchange.com/questions/13514/logic-in-the-metatheory?rq=1 beastaughlogic mathematics metamathematics philosophyofmaths https://pinboard.in/ https://pinboard.in/u:beastaugh/b:304a722398d2/ 2012-12-17T12:07:04+00:00 http://faculty.baruch.cuny.edu/lkirby/ beastaughhomepages mathematics logic arithmetic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e21fb956aa01/ 2012-12-15T17:37:04+00:00 https://en.wikipedia.org/wiki/Moravec%27s_paradox beastaughai learning paradox history psychology logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:99fe53f22f17/ 2012-12-02T23:44:37+00:00 http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Propositional_Logic/Equivalence_and_Normal_Forms beastaughlogic programming https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5795d792495c/ 2012-10-23T09:54:52+00:00 http://johnmacfarlane.net/church.html beastaughphilosophy alonzochurch logic history https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5312445654b6/ 2012-10-17T15:03:28+00:00 http://blog.ezyang.com/2012/10/visualizing-satisfiability-validity-and-entailment/ beastaughlogic visualisation teaching https://pinboard.in/ https://pinboard.in/u:beastaugh/b:ef265e3172b2/ 2012-10-11T19:54:28+00:00 http://mathoverflow.net/questions/52215/soundness-theorem-in-reverse-mathematics beastaughreversemathematics mathematics logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:7940f6dbc445/ 2012-10-01T16:01:27+00:00 http://www.cs.nyu.edu/pipermail/fom/1999-September/003405.html beastaughprooftheory modeltheory reversemathematics logic arithmetic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:88fd84b02baf/ 2012-09-27T16:47:32+00:00 http://www.cs.nyu.edu/pipermail/fom/1999-November/003463.html beastaughreversemathematics logic arithmetic prooftheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b2d05f78d57b/ 2012-09-19T18:27:26+00:00 http://math.stackexchange.com/questions/145271/is-banach-alaoglu-equivalent-to-ac beastaughanalysis axiomofchoice settheory mathematics topology logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f03d83e4dfbc/ 2012-09-19T17:45:59+00:00 http://ncatlab.org/nlab/show/ultrafilter+theorem beastaughmathematics axiomofchoice settheory topology logic analysis https://pinboard.in/ https://pinboard.in/u:beastaugh/b:325c4cac0de1/ 2012-08-17T12:04:54+00:00 http://mathoverflow.net/questions/97077/z-2-versus-second-order-pa beastaugharithmetic reversemathematics logic mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:eaff3b2336fc/ 2012-08-03T20:44:11+00:00 http://stackoverflow.com/questions/11406786/what-is-the-combinatory-logic-equivalent-of-intuitionistic-type-theory beastaughlogic intuitionism typetheory haskell functionalprogramming agda https://pinboard.in/ https://pinboard.in/u:beastaugh/b:9869ba42e8ff/ 2012-07-28T19:23:45+00:00 http://plato.stanford.edu/entries/logic-games/ beastaughlogic mathematics philosophyofmaths settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:91ef1ad80397/ 2012-06-26T07:04:16+00:00 http://mathoverflow.net/questions/74014/whats-a-magical-theorem-in-logic beastaughlogic mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:fa10bbc1744d/ 2012-05-22T16:39:29+00:00 http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial beastaugheducation logic programming https://pinboard.in/ https://pinboard.in/u:beastaugh/b:91b8a73f44a8/ 2012-05-01T17:58:58+00:00 http://school.maths.uwa.edu.au/~berwin/humour/invalid.proofs.html beastaughmathematics humour logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f610ad9ddf65/ 2012-04-28T18:37:12+00:00 http://math.stackexchange.com/questions/138136/how-does-adding-the-full-second-order-induction-scheme-affect-the-consistency-st beastaugh reversemathematics prooftheory arithmetic logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:1961e6ad34c1/ 2012-04-09T13:00:17+00:00 http://math.stackexchange.com/questions/129574/propositional-calculus-compactness-implies-completeness beastaughlogic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:1bdbfeae8af9/ 2012-04-03T16:08:34+00:00 http://arxiv.org/abs/1204.0299 beastaughlogic mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:3a50092ff4a4/ 2012-04-02T21:01:46+00:00 http://m-phi.blogspot.com.br/2012/03/is-arithmetic-necessary-condition-for.html beastaughincompleteness gödel metamathematics logic mathematics arithmetic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:c565e782c342/ 2012-04-01T21:27:35+00:00 http://m-phi.blogspot.com.br/2012/03/proving-things.html beastaughlogic mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5ef7758f626c/ 2012-03-31T16:00:24+00:00 http://mathoverflow.net/questions/92666/what-is-the-etymology-of-model beastaughhistory mathematics modeltheory logic tarski gödel https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b101705a62ed/ 2012-03-29T15:13:47+00:00 http://www.springerlink.com/content/j66507073537g184/ beastaugh philosophy logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e2df0d905dc6/ 2012-03-23T16:51:59+00:00 http://math.stackexchange.com/questions/123566/independence-results-in-first-order-pa-and-second-order-pa beastaugharithmetic metamathematics logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:8460970e527b/ 2012-03-22T22:21:53+00:00 http://m-phi.blogspot.com.br/2012/03/diagonalization-and-diagonal-lemma.html beastaughlogic metamathematics arithmetic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:482ab7b6dbdb/ 2012-03-22T00:53:29+00:00 http://golem.ph.utexas.edu/category/2011/10/weak_systems_of_arithmetic.html beastaugharithmetic logic metamathematics prooftheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:35accb1b8551/ 2012-03-22T00:53:13+00:00 http://mathoverflow.net/questions/9864/presburger-arithmetic/10027#10027 beastaugharithmetic metamathematics logic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:a765e67cc99b/ 2012-03-14T12:41:33+00:00 http://www.nytimes.com/2012/03/14/us/ruth-barcan-marcus-philosopher-logician-dies-at-90.html?_r=3&hpw beastaughphilosophy obituary logic modality https://pinboard.in/ https://pinboard.in/u:beastaugh/b:ce58ff3288d7/ 2012-03-09T19:35:41+00:00 http://en.wikipedia.org/wiki/Analytical_hierarchy beastaughanalysis arithmetic logic mathematics settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:8ad1b374b370/ 2012-03-09T19:23:25+00:00 http://mathoverflow.net/questions/79030/calculus-of-binary-relations beastaughlogic algebra https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f6c7a48575d1/ 2012-03-09T17:29:49+00:00 http://www.maths.bris.ac.uk/~maaib/logic2010/files2010.html beastaughlogic lecture https://pinboard.in/ https://pinboard.in/u:beastaugh/b:3245bf19998c/