Mainly interested in logic, computation, and philosophy of science
(he/him)
(Apologies if I've missed a mutual here...)
(Apologies if I've missed a mutual here...)
thereader.mitpress.mit.edu/the-myth-of-... via @mitpress.bsky.social
thereader.mitpress.mit.edu/the-myth-of-... via @mitpress.bsky.social
Don't make me tap the sign
Don't make me tap the sign
Physical Dimensions Are Real
—Caspar Jacobs explains why the Bureau International des Poids et Mesures is wrong
Read or listen here: www.thebsps.org/short-reads/...
#philsci #philsky
Use weak gravitational lensing to track down otherwise invisible dark matter.
The Hunt for Dark Matter, by Shaun Hotchkiss. ⚛️
https://buff.ly/4d6mrvQ
Use weak gravitational lensing to track down otherwise invisible dark matter.
The Hunt for Dark Matter, by Shaun Hotchkiss. ⚛️
https://buff.ly/4d6mrvQ
It seems plausible to me since we can "embed" classical FOL in intuitionistic FOL via Godel-Gentzen double negation
#philsky #philsci
Currently an MA Philosophy student writing a thesis in which I compare a couple of accounts of scientific theories.
Still learning the ropes around here, but like what I've seen so far.
#philsci #philsky #academicsky
Currently an MA Philosophy student writing a thesis in which I compare a couple of accounts of scientific theories.
Still learning the ropes around here, but like what I've seen so far.
#philsci #philsky #academicsky