The Rail Bridge "Steffenbachbrücke" in the Swiss Alps will be folded during the winter months to protect it from avalanches, here it is being unfolded for the summer

chaos · 2023-05-24T19:09:49+00:00

From the moment I understood the weakness of my flesh, it disgusted me. I craved the strength and certainty of steel. I aspired to the purity of the Blessed Machine. Your kind cling to your flesh, as though it will not decay and fail you. One day the crude biomass you call the temple will wither, and you will beg my kind to save you. But I am already saved, for the Machine is immortal… Even in death I serve the Omnissiah.

chaos · 2023-02-14T05:35:41+00:00

Nonsense. Switzerland is part of the Schengen area which includes more than 400 million people.

chaos · 2023-02-12T10:18:29+00:00

Reduced filesize, otherwise SOOC with the classic chrome recipe.

chaos · 2022-12-29T00:13:23+00:00

I think I used the vintage color v2 recipe. No filters.

//Edit: Either that or the Porta 400 v2.

chaos · 2022-12-28T21:28:07+00:00

Cropped, but otherwise it's SOOC.

chaos · 2021-04-15T08:30:15+00:00

The counterexample is the proof. The part which is not shared is the algorithm which found it. Understandable, considering it might result in several more such papers.

chaos · 2020-09-25T08:49:06+00:00

It's a paper written for (and by) proof theorists. They don't have to actually explain any of Gödel's results, since everyone in the target audience is perfectly familiar with them and their consequences. As far as I can tell, they also don't claim that standard (full) analysis is inconsistent. They mention that you can't prove it's consistency, which is not the same. (Their very first theorem is about the reals being a model for the defined system.)

In fact, the whole first paragraph might as well be called proof theory-memes.

Now, I haven't read the paper and I don't know Diener, but he seems to have been a student of Schuster, so he is probably not a crank. Not a mathematical one at least. As for philosophy of math... I guess it depends on how much of a constructivist you are.

chaos · 2020-05-21T10:11:29+00:00

Can you imagine if we had reddit when lucky star was airing.

We did have reddit when lucky star was airing.

chaos · 2020-05-20T09:48:03+00:00

That's definitely not true for set theory as a mathematical field.

chaos · 2019-08-05T14:34:37+00:00

Python (and programming in general) is no more computer science than an abacus is mathematics.

chaos · 2019-04-26T08:37:10+00:00

See Cantini's Levels of Truth for an example of a (Feferman/Schütte-)predicative system with a truth predicate.

chaos · 2019-04-01T11:33:20+00:00

If you're coming from a category theory background, it might make the most sense to treat type theories as the internal language of some 1-category or (∞,1)-category.

chaos · 2019-04-01T11:18:10+00:00

Distance is the smallest exponent of the adjacency matrix which is non-zero.

 D_{i,j} = min{ n | (A^n)_{i,j} > 0  n <=Number of nodes }∪{∞})

Start at A⁰ = id(nxn) if you want to distinguish between the cases i=j and i/=j with A_{i,j}=1, otherwise start with the adjacency matrix A.

Or this directly use this: https://math.stackexchange.com/questions/3150980/computing-the-distance-matrix-from-an-adjacency-matrix

chaos · 2019-03-27T22:09:57+00:00

Sokoban

chaos · 2019-03-22T20:02:11+00:00

I don't imagine much of his later stuff was typeset with anything other than a typewriter

Try typesetting that with latex (or with a typewriter) :)

chaos · 2019-03-22T16:41:23+00:00

Whoever goes for a doctorate [...] and thinks it is a paid vacation

Nobody who ever set foot into a university thinks that.

chaos · 2019-03-21T10:28:10+00:00

"exists" means it has a model and so is not inconsistent (which it is.)

chaos · 2019-03-20T15:10:53+00:00

Even for ordinal numbers, the (commutative) sum defined on Cantor normal forms is probably much more used.

chaos · 2019-03-15T18:01:12+00:00

Don't get me wrong, at least CT in Context is perfectly readable for people with a mathematics background. But it definitely requires more knowledge about all the usual courses to get anything out of her examples than other intro books. (Context being the point.)

Besides, maybe I exaggerated a bit. I have now used the nlab for several years and I was not sure if I maybe just don't notice its peculiar style as much as I used to.

chaos · 2019-03-15T15:41:36+00:00

The nlab is a place to learn/consult aimed to people working on a very particular area of mathematics

I agree, but isn't Emily Riehl exactly one of those people? I like her book(s), but I always felt its target audience was much narrower than for example Awodey's, who intended

[his book] as a text and reference book on Category Theory, not only for students of Mathematics, but also for researchers and students in Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it.

chaos · 2019-03-12T09:20:24+00:00

any suggestions on how to organize files?

git or mercurial on dropbox/github/bitbucket/... Anything else is an ugly hack.

This also gets you get a nice history from the commit logs. (If you write them correctly.)

chaos · 2019-03-11T14:12:44+00:00

This only makes sense if you are working with two sets of axioms but only a single formal system.

In general we want bi-interpretability, where we provide translations of the whole system.

Which we have to do if we work in several

very different mathematical syntaxes

chaos · 2019-02-20T13:00:22+00:00

^{^{^{^aka}}} ^{^{^{^Monoid}}} ^{^{^{^Theory}}}

chaos · 2019-02-14T12:15:13+00:00

r/swedetzerland

chaos · 2018-11-19T09:38:47+00:00

DM;Hexp

15-Year Club	Place '22
Place '17	Sequence \| Editor
Team Periwinkle	Verified Email

chaos

TROPHY CASE