Show more

All people that say all programs are Turing complete, and therefore equivalent, need to be slapped.

link.springer.com/article/10.1

Also formal logics are picking up speed, due to being more democratic than conventional proofs and easier to collaborate on.

Well I woke up raging against the smallness of elementary number theory, and wanting to listen to Infected Mushroom. That coffee must have been strong. :blobfoxcofeglare:

youtu.be/bnsUkE8i0tU

Are you a cat-top-phys-logicist?

5 way Rosetta stone of physics-topology-categories-logic-computation, for the luls.

arxiv.org/abs/0903.0340

"a general science of systems and processes" is, admittedly, not very catchy though.

Happy I took time to study some topology this summer. Algebraic topology is all the things I hoped for.

I am not sure I quite get it yet, but a topology of something seems to be usable as a definition to a lot of geometric notions. All of analysis work seems to just be applied topology. And with homotopy type theory, all sorts of data science, machine learning, and statistics work could be made easier and more precise.

Cubical type theory, (a computation friendly HOTT) is not even 2 years old. It is going to be big.

cs.cmu.edu/~cangiuli/thesis/th

Excellent course, the future of solid software looks bright.

frap.csail.mit.edu/main

"What's it all about?

Briefly, this course is about an approach to bringing software engineering up to speed with more traditional engineering disciplines, providing a mathematical foundation for rigorous analysis of realistic computer systems. As civil engineers apply their mathematical canon to reach high certainty that bridges will not fall down, the software engineer should apply a different canon to argue that programs behave properly. As other engineering disciplines have their computer-aided-design tools, computer science has proof assistants, IDEs for logical arguments. We will learn how to apply these tools to certify that programs behave as expected."

There is so much research to do.

Including people doing research outside of academia I would approximate there are about 25 million researchers worldwide. Not sure what it was 100 years ago, but I only see that number growing.

richardprice.io/post/128555616

Another day.. another 10 hours to dump into type theory studies.

For the logic gods.

Huh, that is kind of cool. Removing noise for physical sensors. It is like learning to see at a base level.

arxiv.org/pdf/2106.11936.pdf

Bertrand had it great. He never had to worry about money. He pretty much just did what he wanted all day.

I also have hyperfocus. So for somethings I have really good small scale problems solving.

Show thread

I noticed something the other day. My intelligence is different.

For the moment I will say I am not just stupid. Scatterbrain thought is a huge handicap, but it lends itself to what I would call large scale problem solving.

In small scale problem solving, attention span is really important, a large working memory means being able to have more complex concept interactions. I, and probably most other people get around this by, "chunking" blocks of thought. But it very noticeable when someone is possibly more intelligent than other people, because they do not require a bunch of chunking to handle new stuff. So their ability to handle new ideas is both faster and broader.

In large scale problem solving, attention span is not as important. There is time to write down complex objects and interactions. What is more helpful is what I will describe as creative ability. This comes down to two parts. The first is the ability to gather a lot of information and do synthesis on it. This lends itself to the ability to recognize morphisms. "x is an example of y, so some set of tricks in y can be used in x". The second part is a randomness of thought. A strictly structured thought process gets stuck in local spaces of a problem too readily. And a natural evasion of distractions can also lead to generated logical spaces to overfit, because it is assumed, without knowing the actual theory, that more precision is more scientific or intellectual.

Scatterbrain behavoir is a trade off, not a total loss.

Trying not to let on that I have ADHD to a colleague. I was starting to wonder if I count as sentient.

Well, birthday is coming up. Please slow down, time... 😅

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.