https://pinboard.in/u:beastaugh/public/ recent bookmarks from beastaugh 2026-01-11T12:50:31+00:00 https://paulwintz.com/latex-macros/set-builder-notation beastaughlatex mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:3e1c744dd29e/ 2024-12-18T12:08:24+00:00 https://www.mathvalues.org/masterblog/how-will-ai-impact-mathematics-research beastaughai llms keithdevlin mathematics research https://pinboard.in/ https://pinboard.in/u:beastaugh/b:49eb0e46c814/ 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/ 2024-01-10T12:39:05+00:00 https://www.scientificamerican.com/article/inside-mathematicians-search-for-the-mysterious-einstein-tile/ beastaughmathematics tiling geometry https://pinboard.in/ https://pinboard.in/u:beastaugh/b:fd43abc6cdbf/ 2023-07-03T14:54:47+00:00 https://conanwu.com/2011/11/28/the-schwartz-lantern/ beastaughmathematics analysis paper https://pinboard.in/ https://pinboard.in/u:beastaugh/b:9a09d0d0025a/ 2023-04-05T11:04:18+00:00 https://blogs.scientificamerican.com/roots-of-unity/counterexamples-in-origami/ beastaughmathematics geometry origami https://pinboard.in/ https://pinboard.in/u:beastaugh/b:37032294d86e/ 2022-03-10T21:33:04+00:00 https://www.quantamagazine.org/the-hidden-heroines-of-chaos-20190520 beastaughacademia history mathematics science chaostheory women sexism margarethamilton ellenfetter https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5352c0ccf61f/ 2022-01-09T11:25:00+00:00 https://alumni.media.mit.edu/~cahn/life/gian-carlo-rota-10-lessons.html beastaughmathematics advice teaching writing https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e28db61b30c6/ 2021-02-06T17:48:30+00:00 https://richardzach.org/2016/11/14/courants-home-movies/ beastaughhilbert history courant mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:415fd4dc6ae8/ 2021-01-01T22:33:58+00:00 https://www.newyorker.com/culture/annals-of-inquiry/three-mathematicians-we-lost-in-2020?utm_brand=the-new-yorker&utm_social-type=earned beastaughmathematics 2020 obituary newyorker history https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e62895ef5998/ 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-16T15:57:09+00:00 https://mathshistory.st-andrews.ac.uk/Biographies/Peter/ beastaughcomputability rózsapéter history mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:156bc5ab7e77/ 2020-08-22T08:25:31+00:00 https://www.bostonglobe.com/2020/08/20/magazine/math-problem-stumped-experts-50-years-this-grad-student-maine-solved-it-days/ beastaughmathematics topology conwayknot knottheory academia https://pinboard.in/ https://pinboard.in/u:beastaugh/b:928b1f0ab5bf/ 2019-11-01T19:12:31+00:00 https://www.bbc.com/future/article/20191031-hilda-geiringer-mathematician-who-fled-the-nazis?fbclid=IwAR1ywi68IY_7N00EQAXgfMyjR-YNvCpdDOne5URZpwxTdw9EoDGDo8g03CI beastaughmathematics history women sexism https://pinboard.in/ https://pinboard.in/u:beastaugh/b:14a935eca066/ 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/ 2015-01-30T23:35:51+00:00 http://www.newyorker.com/magazine/2015/02/02/pursuit-beauty beastaugh mathematics numbertheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:94d9872c9e4d/ 2014-11-15T01:56:19+00:00 http://inference-review.com/article/a-country-known-only-by-name beastaughmathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:7cfefe0b2003/ 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-08-30T00:23:03+00:00 http://www.math.hawaii.edu/~lee/how-to.html beastaughmathematics research https://pinboard.in/ https://pinboard.in/u:beastaugh/b:9cf16bc76544/ 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-12T14:17:00+00:00 http://terrytao.wordpress.com/advice-on-writing-papers/ beastaughmathematics writing academia publishing https://pinboard.in/ https://pinboard.in/u:beastaugh/b:6d47c30eda75/ 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-06-14T23:54:58+00:00 http://mathoverflow.net/questions/58060/can-randomness-add-computability beastaughmathematics randomness computability https://pinboard.in/ https://pinboard.in/u:beastaugh/b:114cd104c523/ 2013-06-14T23:51:44+00:00 http://mathoverflow.net/questions/133090/coding-a-model-of-0-sharp-from-a-pi1-1-gale-stewart-game beastaughmathematics settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:ab72154b4e65/ 2013-05-10T19:57:18+00:00 http://jeremykun.com/primers/ beastaughprogramming mathematics reference https://pinboard.in/ https://pinboard.in/u:beastaugh/b:a5896083d30a/ 2013-05-06T11:51:23+00:00 http://mathoverflow.net/questions/129498/the-kunen-inconsistency-and-definable-classes beastaughsettheory mathematics philosophyofmaths https://pinboard.in/ https://pinboard.in/u:beastaugh/b:1dbfc037e91a/ 2013-05-06T01:02:31+00:00 http://mathoverflow.net/questions/16368/least-ordinal-not-in-a-countable-transitive-model-of-zfc beastaughsettheory mathematics forcing https://pinboard.in/ https://pinboard.in/u:beastaugh/b:6ada68e2ab61/ 2013-04-29T00:01:57+00:00 http://websupport1.citytech.cuny.edu/faculty/vgitman/research.html beastaughhomepages mathematics settheory arithmetic https://pinboard.in/ https://pinboard.in/u:beastaugh/b:6fdb155a4ecd/ 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-04-18T16:59:22+00:00 http://mathoverflow.net/questions/127765/existence-of-equivalence-checking-algorithm beastaughmathematics computability turingmachine https://pinboard.in/ https://pinboard.in/u:beastaugh/b:bcae7c5a9900/ 2013-04-18T16:58:57+00:00 http://math.stackexchange.com/questions/364494/primitive-recursive-function-which-isnt-delta-0 beastaughcomputability mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:0f7f86ad083a/ 2013-03-20T22:30:47+00:00 http://mathoverflow.net/questions/125076/applications-of-higher-order-reflection-principles beastaughsettheory forcing mathematics reflectionprinciples https://pinboard.in/ https://pinboard.in/u:beastaugh/b:efad649d31b0/ 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:24:03+00:00 http://gregegan.customer.netspace.net.au/DIASPORA/DIASPORA.html beastaughmathematics sf books gregegan https://pinboard.in/ https://pinboard.in/u:beastaugh/b:51cc2660f091/ 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-02-09T01:33:58+00:00 http://mathoverflow.net/questions/14622/how-can-an-ultrapower-of-a-model-of-zfc-be-ill-founded-yet-still-satisfy-zfc beastaughmathematics settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b0cf6b52ce12/ 2013-01-18T10:31:17+00:00 http://gowers.wordpress.com/2013/01/16/why-ive-also-joined-the-good-guys/ beastaugh mathematics publishing academia journals arxiv openaccess https://pinboard.in/ https://pinboard.in/u:beastaugh/b:d0a5f2dbe7ab/ 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-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/ 2013-01-04T13:29:59+00:00 http://math.stackexchange.com/questions/89104/union-of-uncountably-many-uncountable-sets beastaughmathematics settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:4ff65abff5c6/ 2012-12-28T17:25:01+00:00 http://math.stackexchange.com/questions/26389/why-is-the-real-line-not-used-in-descriptive-set-theory?rq=1 beastaughsettheory topology mathematics computability https://pinboard.in/ https://pinboard.in/u:beastaugh/b:f3d6431ef5e1/ 2012-12-24T01:03:22+00:00 http://jeremykun.com/2012/07/18/the-fast-fourier-transform/ beastaughmathematics programming https://pinboard.in/ https://pinboard.in/u:beastaugh/b:d4047ac7c8ad/ 2012-12-20T17:12:38+00:00 http://theorylunch.wordpress.com/2012/12/13/if-monads-are-about-syntax-then-algebras-are-about-semantics/ beastaughhaskell compsci mathematics functionalprogramming semantics plt https://pinboard.in/ https://pinboard.in/u:beastaugh/b:9bdc673dd56e/ 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-09T14:12:45+00:00 http://invariant.org/ beastaughmathematics homepages https://pinboard.in/ https://pinboard.in/u:beastaugh/b:c2d1283e2e83/ 2012-11-15T11:00:16+00:00 http://www.maa.org/devlin/devlin_06_10.html beastaugheducation mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5f6a6d5dca56/ 2012-11-08T01:21:47+00:00 http://www.maths.bris.ac.uk/~maxph/ beastaughhomepages mathematics settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:a1191fc4baa8/ 2012-11-05T00:17:16+00:00 http://www.maa.org/mathhorizons/MH-Sep2012_XKCD.html beastaughmathematics comics xkcd https://pinboard.in/ https://pinboard.in/u:beastaugh/b:78fca12368a5/ 2012-11-04T23:59:54+00:00 http://www.datapointed.net/visualizations/math/factorization/animated-diagrams/ beastaughhaskell mathematics visualisation https://pinboard.in/ https://pinboard.in/u:beastaugh/b:ff00d9352842/ 2012-11-04T23:59:42+00:00 http://www.datapointed.net/2012/10/animated-factorization-diagrams/ beastaughhaskell programming mathematics visualisation https://pinboard.in/ https://pinboard.in/u:beastaugh/b:c21d7628cad3/ 2012-11-04T23:59:18+00:00 http://mathlesstraveled.com/2012/10/05/factorization-diagrams/ beastaughhaskell programming mathematics visualisation https://pinboard.in/ https://pinboard.in/u:beastaugh/b:73c8970bfc86/ 2012-10-17T15:52:19+00:00 http://bentilly.blogspot.co.uk/2009/09/teaching-linear-algebra.html beastaughteaching mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:c42a6c5beb75/ 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-09-25T15:16:31+00:00 http://terrytao.wordpress.com/2009/02/09/245b-notes-10-compactness-in-topological-spaces/ beastaughmathematics compactness topology https://pinboard.in/ https://pinboard.in/u:beastaugh/b:2d439af76a2c/ 2012-09-25T12:16:21+00:00 http://qchu.wordpress.com/2010/12/14/ultrafilters-in-ramsey-theory/ beastaughsettheory ramseytheory combinatorics mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:7eb111226467/ 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-09-13T17:18:59+00:00 http://en.wikipedia.org/wiki/Glossary_of_arithmetic_and_Diophantine_geometry beastaughgeometry arithmetic mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b513ee9c1e0f/ 2012-08-31T11:09:51+00:00 http://en.wikipedia.org/wiki/Homeomorphism beastaughtopology mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:b88bbbc43aca/ 2012-08-30T16:04:03+00:00 http://homotopytypetheory.org/2012/08/18/a-master-thesis-on-homotopy-type-theory/ beastaughtypetheory mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:5650356bd7c5/ 2012-08-28T14:33:58+00:00 http://chronomaitre.org/pi-exists.html beastaughgeometry mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:fcecd6e4d9d3/ 2012-08-19T11:15:41+00:00 http://mathoverflow.net/questions/8521/nice-proof-of-the-jordan-curve-theorem beastaughmathematics topology https://pinboard.in/ https://pinboard.in/u:beastaugh/b:009545527cf1/ 2012-08-19T11:15:28+00:00 http://www.maths.ed.ac.uk/~aar/jordan/index.htm beastaughmathematics topology https://pinboard.in/ https://pinboard.in/u:beastaugh/b:e85fbc87c01f/ 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-09T14:57:46+00:00 http://math.stackexchange.com/questions/12968/axiom-of-choice-to-use-or-not-to-use beastaughaxiomofchoice settheory mathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:fe079ea430a9/ 2012-08-03T15:34:57+00:00 http://en.wikipedia.org/wiki/Zero_sharp beastaughmathematics settheory https://pinboard.in/ https://pinboard.in/u:beastaugh/b:67c19bee5912/ 2012-07-30T10:06:59+00:00 http://www.math.niu.edu/%7Erusin/known-math/index/beginners.html beastaughmathematics https://pinboard.in/ https://pinboard.in/u:beastaugh/b:46c6c5710b68/ 2012-07-30T10:06:08+00:00 http://blog.konradvoelkel.de/2012/05/mathematics-resources/ beastaughmathematics phd learning https://pinboard.in/ https://pinboard.in/u:beastaugh/b:508f009ffc2b/