Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
As people grow older, they grow wiser, or at least they think they do.
-
Sensational news!
-
Once upon a time, goes the story, a lady named Dottie got bored and started playing with her calculator, pressing the cosine key over and over again.
-
Nullius in verba (“take nobody’s word for it”) is the motto of the Royal Society, and as they explain, is “an expression of the determination of Fellows to withstand the domination of authority and to verify all statements by an appeal to facts determined…
-
In two recent blogposts I have outlined the history of our field, one on the history of proof assistants and another specifically about earlier work on the formalisation of mathematics by machine.
-
I have been told that when proposing to formalise mathematics these days, you have to explain why you are not using Lean.
-
When young researchers get together, one topic of conversation is “who supervised your PhD?”
-
People expect perfection.
-
Crackpots ranging from billionaire Peter Thiel to random YouTube influencers claim that science has been stagnating for the past 50 years.
-
It is known that mathematics is heavily reliant on set theory, but no one can agree on what set theory is.