Viewing profile — vladsotirov

A simpler explanation of the technique in the article that I believe matches the C standard more closely is the following. Ideally the result of processing a macro ("macro-replacem…

The second Q needs no input because it is not executed: its source code is used as input for the first Q.

> The Halting Problem is famously only undecidable if the code you're analyzing is being modeled on a "Turing machine" or something equally "powerful" to it. The Halting Problem ap…

> It does not. That only means that you if you, say, want to analyze how a program behaves when ran in a computer with 16 GB of state, you need to analyze it on a computer that has…

> Now, I'm not a computer scientist nor a mathematician or logician. So I could be wrong. If so, I would be interested in knowing how I'm wrong, as I've never seen this issue being…

> Some numbers in a set called the "smooth reals" square to 0... without being zero. This seems to create a universe in which every geometric object is "infinitesimally straight". …

One "application" (in quotes because honestly for all the fanfare I haven't come across something that was worked out to be usable by non-specialists) is automatic differentiation,…

The remarks on computable and continuous functions can also be thought about as follows. The law of the excluded middle is only one non-constructive aspect of classical mathematics…

Originally, categories arose as (mathematical) descriptions of various universes of functions. For example, there is universe of functions that are given linear functions (i.e. mat…

> without the abstractions we take for granted as superior, such as money. That's only true if by "money" you mean coinage, which is a definition so narrow that it also excludes th…

History is a convenient and readily available proxy for shifting content focus away from mathematical facts and toward mathematical processes such as problem-solving, proof-writing…

The UI confuses me to the point of frustration. 1. A "Previous" button would help since otherwise you have to go loop through the whole thing to see what actually happened (e.g. ho…

I'm puzzled by your comment, especially the first few sentences. What did you not understand from her blog post? What kind of evidence would help you understand? What would you ask…

It's not enough to like the work for it to be easy: it's also important that your work be appreciated and encouraged. Scholze happens to be interested in a popular/prestigious subf…

I think it's pretty good evidence that Gowers' blog post fails miserably to either persuade or explain why the fundamental theorem of arithmetic isn't obviously true. Garbage in, g…

This blog post illustrates well the infuriating tendency of academics to teach by calling people stupid. The substance of his answers are: 1. " If you think it’s obvious, then you’…

You've correctly shown that "f2 does not contain p". However, the subtle bit of reasoning "f2 cannot be evenly divisible by p as that would require it to have a prime factor of p" …