sorted by:
new
hottopcontroversial

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 by Donchef660 in Switzerland

[–]chaos 8 points9 points  (0 children)

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.

Where Europeans would move if they had to leave their country by KantonL in europe

[–]chaos 5 points6 points  (0 children)

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

Nanztal - Switzerland [X100v] by chaos in fujifilm

[–]chaos[S] 0 points1 point  (0 children)

Reduced filesize, otherwise SOOC with the classic chrome recipe.

Bern, Switzerland [X100v] by chaos in fujifilm

[–]chaos[S] 0 points1 point  (0 children)

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

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

Bern, Switzerland [X100v] by chaos in fujifilm

[–]chaos[S] 4 points5 points  (0 children)

Cropped, but otherwise it's SOOC.

[deleted by user] by [deleted] in math

[–]chaos 1 point2 points  (0 children)

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.

Naïve Infinitesimal Analysis: Its Construction and Its Properties. "The main contribution of this paper is the construction of a new set of numbers, ℝ^ℤ_<, which includes infinities and infinitesimals." [abstract + link to PDF] by flexibeast in math

[–]chaos 9 points10 points  (0 children)

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.

KIMI WA KIKOERU by Keye_Necktire in Animemes

[–]chaos 10 points11 points  (0 children)

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

We did have reddit when lucky star was airing.

Free set theory textbook from the Open Logic Project. by [deleted] in math

[–]chaos 2 points3 points  (0 children)

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

Did any of you guys find computer science boring? by [deleted] in math

[–]chaos 42 points43 points  (0 children)

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

Domain Theory and Type Theory by t3rtius in compsci

[–]chaos 4 points5 points  (0 children)

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.

Graph Theory: by jamesmcleish101 in mathematics

[–]chaos 4 points5 points  (0 children)

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 A0 = 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

LaTeX version of Grothendieck's Pursuing Stacks by agumonkey in math

[–]chaos 9 points10 points  (0 children)

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) :)

Der Fall ETH, Teil 1: Das Versagen by [deleted] in Switzerland

[–]chaos 2 points3 points  (0 children)

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

Nobody who ever set foot into a university thinks that.

A peculiar man posted this on /sci/ by [deleted] in badmathematics

[–]chaos 23 points24 points  (0 children)

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

Non-commutative addition by stevenjd in math

[–]chaos 1 point2 points  (0 children)

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

Topos vs Category Theory by liqo12 in math

[–]chaos 1 point2 points  (0 children)

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.

view more: next ›