Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

Information about the programme can be found at
* <https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/>
* <https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>

All applications have to be made via the ADUM system:
<https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>,
latest on the 22nd of March 2026.

#phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

A video by Veritasium that gives a relatively low level introduction to the p-adic number system. It was 'low' enough that I understood most of it. 🙂 It also gives me a better appreciation of the @gregeganSF story, "3-adica".

https://www.youtube.com/watch?v=tRaq4aYPzCc

#Numbers #PAdic #NumberSystems

"John William Shirley (1908–1988) published reproductions of two of Harriot’s undated manuscript pages, which, he claimed, showed that Harriot had invented binary numeration “nearly a century before Leibniz’s time”"

https://link.springer.com/article/10.1007/s00283-023-10271-9

Via Hacker News [ https://news.ycombinator.com/item?id=35663799 ]

#History #Mathematics #Numbers #NumberSystems #BinaryNumbers

Did I mention I love #NumberSystems? The subject has been a special interest of mine off and on throughout my life.

#ActuallyAutistic