81–90 of 102 posts
Earlier quoted context omitted.
Not having a home in general is looked down upon here. Everyone is expected to have their place of work/study to be separate from the place where they bathe, sleep, etc.
Any idea why it's frown upon though?
The name Voevodksy comes from two old russian words: vodit, which means "to lead", and voena which means war. So, voevod, would mean something like "war leader", or general. (Source: russian friend that I just consulted.)
In Polish, there is the word "wojewoda" (Polish uses "w" where in English or Latin languages you would use a "v"). Historically it meant the same as in Russian, but nowadays it is the title of the governor of a province. To make things even more interesting, Poland is actually divided in regions / provinces called "województwa" (plural), or literally "lands that belong to the wojewoda". A "województwo" (singular) is…
Earlier quoted context omitted.
It is. I wonder what this will mean for Homotopy Type Theory.
I think that people will still develop the theory. It still needs a bunch of work but it seems popular enough to stay around.
One of Voevodsky's views was that all the foundation for a dependently typed formalization of maths is already there, and that it mainly needs to be organized in a better way (cf his unimath project).
Earlier quoted context omitted.
Speculation without justification is not part of science. The original post didn't add anything substantive to the discussion. Anyone seeing the age of the deceased would consider suicide as a possibility. It's completely obvious. Now if the OP had said "possibly suicide because ...", that would have been a valuable contribution. As it stands, saying "suicide?" is no more a contribution than me saying "flying blue el…
Is talking about the obvious explanation now taboo? Do we really want to pretend the emporer is wearing cloths? I certainly do not. What is obvious to me might not be obvious to others. I learned that time and time again. That is why I'll tell the emporer that he is naked. But besides that, speculation without evidence is part of science. The scientific method does not restrict how to come up with hypotheses to test.…
Except that's not what happened. Ridiculing a post for non-substantive content is not labeling that post taboo, it's labeling that post pointless.
> But besides that, speculation without evidence is part of science.
It's not. Speculation is still founded on reasons. No serious scientific paper, ever, just tossed out an idea without justifying why it might be true, for instance, by explaining why it's consistent with existing evidence, why it might in fact be a better explanation than alternatives, why it might provide a better foundation for future work, and what sort of predictions the idea might make if it were true.
There were literally no reasons given in the OP's post. This repeated appeal to science is beyond absurd, and is frankly indicative of people who seem to have no idea how science really works.
> In this case, the speculation was ironically completely motiviated by reason.
No it wasn't. Where is the reason why it might have been suicide in a post that consists entirely of the word "Suicide?"
Amusing anecdote from the life of Voevodsky ( https://lj.rossia.org/users/tiphareth/2097217.html ): Voevodsky was too lazy to search for an apartment, so he lived in his office (at Harvard each graduate student gets a personal office) and slept on the roof. Unfortunately, the windows of dean office (Willy Schmid) had direct view at that roof. Volodya didn't adhere to the usual day routine (and didn't adhere to anythi…
> It has to be said, that living and sleeping in the office is a terrible taboo and social stigma in America I am not a US-American, so can you elaborate?
Reading the story[1] about Voevodsky, I was reminded of how Bertrand Russell described Gottlob Frege as "almost superhuman": > As I think about acts of integrity and grace, I realise that there is nothing in my knowledge to compare with Frege’s dedication to truth. His entire life’s work was on the verge of completion, much of his work had been ignored to the benefit of men infinitely less capable, his second volume…
Earlier quoted context omitted.
Nonsense. Someone died. This is disrespectful and distasteful. Elsewhere in the thread people are speculating he died of alcoholism. Just stop.
That is an arrogant and aggressive appeal to emotion. But even following that non-logic, as soon as someone dies we are supposed to turn our head off and to shut up? I think quite the contrary, we should think even harder why it happened, and learn from that. After all, it is a significant event, and, in this case, a loss for all of us. Ironically, your comment was putting fuel into the fire of speculation because he…
then we random internet posters can idly discuss hard hitting topics like exploiting children, suppressed sexuality and violence in relationships. and undoubtedly solve them fully before getting distracted by the announcement of a new cpu or something.
nobody in the world thinks or talks about these things other than we concern trolls on the internet, so we have a sacred duty to the world.
Earlier quoted context omitted.
> It has to be said, that living and sleeping in the office is a terrible taboo and social stigma in America I am not a US-American, so can you elaborate?
There is no stigma against homeless people in your country?
Quite the opposite: If you keep in mind that in many large German cities (such as Munich, Stuttgart and Berlin) it is hard to find an apartment, in particular if it is supposed to be affordable, I can imagine quite well that "living to the logical consequences that it is not worth the time to look for an apartment" could easily give him lots of sympathizers in Germany.
On the other hand Voevodsky would probably get in trouble with German law (Meldegesetz (https://de.wikipedia.org/wiki/Meldegesetz) - I don't know an "official" English translation of this word, but perhaps "registration law" might fit). But always keep in mind when talking about Germany, what Germans think and what the German laws say are two very different animals.
---
Concerning your point
> There is no stigma against homeless people in your country?
monort's description of Voevodsky's lifestyle does not sound like the lifestyle of a homeless person. So the argument void. But to give nevertheless a point: I don't think there is a lot of a stigma against homeless people in Germany. The stigma is rather against things that accompany being homeless like drinking, rarely showering etc.
EDIT: To elaborate on the point that I don't think there is a lot of a stigma against homeless people in Germany: I (as an academic) actually know someone who was homeless for a longer time in life (at least 6 months, probably much more) and also had an interesting discussion about homeless people face in Germany with a homeless person who was begging for money when I was waiting for a train that was massively delayed.
French transcription here: http://smf4.emath.fr/Publications/Gazette/2014/142/smf_gazet...
Reading the story[1] about Voevodsky, I was reminded of how Bertrand Russell described Gottlob Frege as "almost superhuman": > As I think about acts of integrity and grace, I realise that there is nothing in my knowledge to compare with Frege’s dedication to truth. His entire life’s work was on the verge of completion, much of his work had been ignored to the benefit of men infinitely less capable, his second volume…
Univalent Foundations is apparently controversial. It appeared to come to a head a couple years ago when a lively debate played out in the comments of a blog (including a comment by Voevodsky himself): https://mathematicswithoutapologies.wordpress.com/2015/05/13...
A (very rough) analogy would be the general consensus of climate change scientists agreeing on global warming being the result of the rapid re-release of fossil fuels into the ecosystem but disagreeing on whether the cause is from shipping container barges or the rapid industrialization of the BRIC nations.)
Here's what's regarded as the seminal resource[1] on Univalent Foundations. "Homotopy Type Theory: Univalent Foundations of Mathematics" which Vlad was working on at IAS. Not only mathematicians but logicians and computer scientists have made large contributions to this work. Names like Awodey and Robert Harper will certainly sound familiar to the C.S. crowd here.