Show newer

Platonism, Formalism -> mathematical theism

Structuralism -> mathematical agnosticism

Constructivism, Logicism, Finitism -> mathematical atheism

People seem to be adding professional models though. :blobfoxcofeglare:

Show thread

Model theory types are pretty clear. Composites of types are pretty easy to think about like:

const int a = 1;

It is possible to even extend them to Ada like:

subtype Capital_Letter is Character range 'A' .. 'Z';

modeltheory.fandom.com/wiki/Ty

The Model Theory wiki is great. Its definitions so far have been really clear. :blobfoxheartcute:

modeltheory.fandom.com/wiki/O-

I like polynomial and power series set notation.

K[X] (polynomial set)

K[[X]] (commutative formal power series set)
So, a super polynomial
"This is not even my final form."

K⟨⟨X⟩⟩ (formal power series set)
Even less limited
"And this... is to go even further beyond!"

philosophy of mathematics and logic book

link.springer.com/book/10.1007

I am just so busy this week. I might pass the thousand page mark for math literature read this month. :blobfoxcofe:

Convex algebraic geometry is both pretty, and really easy.

Also it is one of those areas that is a mix of algorithm analysis and optimization. So, super useful.

math.berkeley.edu/~bernd/feb19

I do not get why Noam Chomsky dislikes structural linguistics. It seems to work just as well.

I wonder how analysis made it into mathematics. Now there is just a schism in the doctrine in a lot of places.

I think it is a "does it 'solve' problems I care about?” kind of thing. I think it is the foundation for validating inferences in math. The choice axiom went from, being considered problematic, to being mostly accepted because new problems from it did not hurt old problems.

No idea why, but a lot of scientific books and journals are free to download right now through Springer.

Algorithms in Real Algebraic Geometry
link.springer.com/book/10.1007

CoCoAlib (Computations in Commutative Algebra library)

This thing is actually nice. My tired-brain can understand C/C++. It is well documented and has tests and debugging procedures. Is that a Hilbert Algebra? I can has type PolyRing?

cocoa.dima.unige.it/cocoalib/i

Generic distractions and initial ideals (We played with CoCoA, got paid)

arxiv.org/abs/math/0308004

Ah... The fraudulent research coming out of MIT and Cornell, and my 4 hours of sleep, are not mixing well.

Show older
Qoto Mastodon

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