 Jan 2023

inferencereview.com inferencereview.com

Woit does provide problems, but they are all at the back of the book. It would have been better to see them between chapters. That provides a natural break in the material and gives the student a quick check on his understanding.
Homework problems are pedagogical devices and many (most) authors place them in the text near where they would be profitably be done. They also provide a useful break in the text to prompt more novice students to actually perform them at the end of a section.
More advanced students, however, should have caught on eventually at the need to work out examples for themselves which are presented in a textbook, but they should also be seeking out additional problems where ever they appear in the text, not to mention seeing out any outside additional problems, making up their own, and exploring any additional questions these pose.
In mathematics textbooks this working of problems, expanding on them and seeking out new ones is often a large part of what is lurking behind the sometimes nebulous sounding idea of "mathematical sophistication". The rest of that equation typically includes experience with the various methods and means of proofs and some basic background in logic.

Woit does not, for the most part, follow the death march of proposition, lemma, proof. He writes in the style of a theoretical physicist.
"death march of proposition, lemma, proof"
This is a bit harsh n'cest pas?

 Dec 2022

math.stackexchange.com math.stackexchange.com

My freely downloadable Beginning Mathematical Logic is a Study Guide, suggesting introductory readings beginning at subMasters level. Take a look at the main introductory suggestions on FirstOrder Logic, Computability, Set Theory as useful preparation. Tackling midlevel books will help develop your appreciation of mathematical approaches to logic.
This is a reference to a great book "Beginning Mathematical Logic: A Study Guide [18 Feb 2022]" by Peter Smith on "Teach Yourself Logic A Study Guide (and other Book Notes)". The document itself is called "LogicStudyGuide.pdf".
It focuses on mathematical logic and can be a gateway into understanding Gödel's incompleteness theorems.
I found this some time ago when looking for a way to grasp the difference between firstorder and secondorder logics. I recall enjoying his style of writing and his commentary on the books he refers to. Both recollections still remain true after rereading some of it.
It both serves as an intro to and recommended reading list for the following:  classical logics  first & secondorder  modal logics  model theory<br />  nonclassical logics  intuitionistic  relevant  free  plural  arithmetic, computability, and incompleteness  set theory (naïve and less naïve)  proof theory  algebras for logic  Boolean  Heyting/pseudoBoolean  higherorder logics  type theory  homotopy type theory

 Nov 2022

github.com github.com

2 • 3 = 6


github.com github.com

Ideally we could use Unicode, 3 2 1 ~ 3 2 1 ≃

 Aug 2022

www.sciencedirect.com www.sciencedirect.com

Weiss, D. J., & Shanteau, J. (2021). The futility of decision making research. Studies in History and Philosophy of Science Part A, 90, 10–14. https://doi.org/10.1016/j.shpsa.2021.08.018

 Oct 2021

twitter.com twitter.com

Shematologist, MD on Twitter: “How it started. How it’s going. Https://t.co/il5DWFm11W” / Twitter. (n.d.). Retrieved October 10, 2021, from https://twitter.com/acweyand/status/1442304094945873922

 Sep 2021

blogs.lse.ac.uk blogs.lse.ac.uk

Impact of Social Sciences. “How Models Change the World – and What We Should Do about It,” August 20, 2021. https://blogs.lse.ac.uk/impactofsocialsciences/2021/08/20/howmodelschangetheworldandwhatweshoulddoaboutit/.

 Jul 2021

link.aps.org link.aps.org

Wang, B., Gou, M., Guo, Y., Tanaka, G., & Han, Y. (2020). Network structurebased interventions on spatial spread of epidemics in metapopulation networks. Physical Review E, 102(6), 062306. https://doi.org/10.1103/PhysRevE.102.062306

 May 2021

github.com github.com

twitter.com twitter.com

🔥 Kareem Carr 🔥 on Twitter. (n.d.). Twitter. Retrieved 1 May 2021, from https://twitter.com/kareem_carr/status/1383925269132582912

 Mar 2021

arxiv.org arxiv.org

Holme, Petter, and Jari Saramäki. ‘Temporal Networks as a Modeling Framework’. ArXiv:2103.13586 [Physics], 24 March 2021. http://arxiv.org/abs/2103.13586.


en.wikipedia.org en.wikipedia.org

Two of the predominant types of relationships in knowledgerepresentation systems are predication and the universally quantified conditional.


psyarxiv.com psyarxiv.com

Ryan, W., Baum, S., & Evers, E. (2021). People Behave as if they Anticipate Regret Conditional on Experiencing a Bad Outcome. PsyArXiv. https://doi.org/10.31234/osf.io/dcgpy


github.com github.comd3/d31

To the consternation of some users, 3.x employed Unicode variable names such as λ, φ, τ and π for a concise representation of mathematical operations. A downside of this approach was that a SyntaxError would occur if you loaded the nonminified D3 using ISO88591 instead of UTF8. 3.x also used Unicode string literals, such as the SIprefix µ for 1e6. 4.0 uses only ASCII variable names and ASCII string literals (see rolluppluginascii), avoiding encoding problems.

 Feb 2021

twitter.com twitter.com

Health Nerd. (2021, February 1). The story continues—After @ikashnitsky and I pointed out that this paper was mathematically impossible, and had numerous errors, it was partially corrected Now, the lead author is calling us ‘trolls’ [Tweet]. @GidMK. https://twitter.com/GidMK/status/1356085063998267398

 Jul 2020

amp.dev amp.dev

The above errors can be resolved by simply adding the ⚡attribute to the <html> tag like so: <html ⚡ lang="en">


en.wikipedia.org en.wikipedia.org

the overloaded operators ¬, =, ≠, and abs are defined


en.wikipedia.org en.wikipedia.org

Most of Algol's "special" characters (⊂, ≡, ␣, ×, ÷, ≤, ≥, ≠, ¬, ⊃, ≡, ∨, ∧, →, ↓, ↑, ⌊, ⌈, ⎩, ⎧, ⊥, ⏨, ¢, ○ and □) can be found on the IBM 2741 keyboard with the APL "golfball" print head inserted; these became available in the mid1960s while ALGOL 68 was being drafted. These characters are also part of the Unicode standard and most of them are available in several popular fonts.

 Jun 2020

www.thelancet.com www.thelancet.com

Kucharski, A. J., Klepac, P., Conlan, A. J. K., Kissler, S. M., Tang, M. L., Fry, H., Gog, J. R., Edmunds, W. J., Emery, J. C., Medley, G., Munday, J. D., Russell, T. W., Leclerc, Q. J., Diamond, C., Procter, S. R., Gimma, A., Sun, F. Y., Gibbs, H. P., Rosello, A., … Simons, D. (2020). Effectiveness of isolation, testing, contact tracing, and physical distancing on reducing transmission of SARSCoV2 in different settings: A mathematical modelling study. The Lancet Infectious Diseases, 0(0). https://doi.org/10.1016/S14733099(20)304576


arxiv.org arxiv.org

Velásquez, N., Leahy, R., Restrepo, N. J., Lupu, Y., Sear, R., Gabriel, N., Jha, O., Goldberg, B., & Johnson, N. F. (2020). Hate multiverse spreads malicious COVID19 content online beyond individual platform control. ArXiv:2004.00673 [Nlin, Physics:Physics]. http://arxiv.org/abs/2004.00673

 Jan 2014

onlinelibrary.wiley.com onlinelibrary.wiley.com

Once a searchable atlas has been constructed there are fundamentally two approaches that can be used to analyze the data: one visual, the other mathematical.
