In my opinion, we are long past that 19th-century, early 20th-century conflict between capital and labour. Factory work has either been automated or s...
Hitchens is like someone who goes through life claiming that he does not like to play or watch tennis. Fine, I should say: then play or watch cricket,...
Well, it is certainly not the State-controlled education system that would teach them how to use Google maps. In fact, if you look at it, trillions of...
I am heavily "epistemized" and deeply invested in the idea of the existence of various knowledge-justification methods. Without such method, it is not...
I have had similar heated discussions, mutatis mutandis, with programmers who get up in arms because I refuse to learn AngularJS and/or ReactJS, becau...
In terms of epistemology, i.e. when defining knowledge as a justified (true) belief, the appropriate procedure is a bit less trivial than just asking ...
A knowledge claim is an arrow between a starting point and a conclusion. In the empirical realm -- life on other planets is clearly a claim about the ...
Well, a few blocks away from own place, they rent out dwellings at $60/month. Furthermore, people who eat for less than $1/day tend to be much healthi...
Yes, of course. People like Hitchens are obviously no credible threat to the field of mathematics, if only, because they wouldn't survive for thirty s...
Well, ever since the annexation and reappropriation of logic by mathematics, the remaining flagship sailing for the colours of philosophy is epistemol...
-------------------------------------------------- Exsurge Domine Condemning the Errors of Al Contali ------------------------------------------------...
In my own case, I do not feel that I have particularly been obstructed or favoured in SE Asia, while doing the things I have been doing. It's not that...
Well, yeah, probably. So? Well, a good part of the body of modern knowledge is actually quite counter-intuitive, when you think of it. That is undoubt...
Well, I did not say that the 100+ national systems, that work fine in my opinion, are the ones of developed countries. I certainly do not live in one....
Hitchens' razor just expresses that he does not understand mathematics, science, engineering, nor the link between these domains. By design, it all st...
That is a wrong definition outdated now for almost a century. The following is the long story of the role of axioms in mathematics and what they mean:...
In that case, axioms are not legitimate. If axioms are not legitimate, then mathematics is not legitimate, because mathematics is exclusively axiomati...
Well, the link with classical, Euclidean geometry has long ago been abandoned in contemporary number theory. I suspect that it was completely gone by ...
As an individual, the national system that you face, is a given. You cannot hope to change it. On the other hand, there are 200+ such national systems...
Irrational just means that a number cannot be reached by merely applying the standard arithmetic operators (+ - x /) to integers. So, if Z are integer...
That is only the nature of falsificationist knowledge. That is absolutely not the nature of axiomatic knowledge. The Pythagorean theorem was provable ...
Is it about the uncanny similarity I mentioned between the size of finite calculation fields (prime powers only), yielding gaps in between, and the si...
I just read Woodlin's conclusion: "unfinished work". The details of Woodlin's work are indeed "hard" and take a long time to understand. So, yes, I wi...
Totally agreed. There is even an interesting paragraph on this principle in Wikipedia: A philosophical defeat in the quest for "truth" in the choice o...
Well, I have said that Woodlin's work is surely interesting, but that Woodlin himself admits that it is not finished, and that I will read up on the d...
Not sure. I keep getting irate remarks from @fishfry in another thread because I refuse to read up on the nitty-gritty details of the cutting-edge res...
But how do you know it is truly "first"? You do not. So, you will keep trying to find the really "true" first that comes before the current first. It ...
I am not a researcher in set theory. It is obvious that there are numerous people trying to advance the field, but I am not one of them. The Continuum...
That is not true! For example, defining knowledge as a justified true belief is clearly unsustainable. Edmund Gettier famously breached the stalemate ...
Well, you cannot produce original insights by merely reading and rehashing the classics! That is trivially obvious. You will, instead, need to bring s...
That is even worse. If you reason toward first principles, you will look for the principles underlying these first principles, and again, ad nauseam. ...
\ Agreed. It establishes science and mathematics as epistemic domains instead of subject matters. They are indeed not about anything. They are knowled...
No, I don't. I just share the same conclusion, but for different reasons. I think that presuppositionism about the real, physical world is ineffective...
There seems to be an entire area of research on axiomatic subsystems of second-order arithmetic (Z2). It is apparently about crippling Peano arithmeti...
"Consequential truth" sounds very much like Coherence theory of truth. In epistemology, the coherence theory of truth regards truth as coherence withi...
Polymorphism is first and foremost a language thing. I am not sure if it exists in the real, physical world. Maybe it does somewhere that I am not awa...
Yes, but subject to the scrutiny of the historical method. Well, polymorphism is obviously permissible as long as it does not lead to fundamentally am...
A weird aspect of math is that "behaviour" means, "respectful of particular invariants", such as e.g. : a ? b = b ? a commutativity or so. In (softwar...
I do not particularly appreciate the use of the term "truth" in the context of mathematics. The quite dominant Correspondence theory of truth defines ...
An indiscriminate approach of that nature would be a disaster, because it would soon put a halt to most sexual reproduction. If we oversimplify the pr...
We may need to distinguish more rigorously between the observer and the observable. Immanuel Kant. Prolegomena, § 32. And we indeed, rightly consideri...
I have already said that this is exactly what does not matter. PD does not need to be true or false. PD rather needs to be independent from ZFC and no...
About CH, I just said in my own words what you can find in Wikipedia too. Maybe it is a mis-statement. I don't particularly care, actually. CH is not ...
Sure. I just somehow hope that the nitty-gritty distinctions between "extremely large", "super huge", and "incredibly out-sized" cardinals won't be ne...
Much worse! ---------------------------------------------------------------------------------- Exsurge Domine Condemning the Errors of AL CONTALI ----...
Yes, but it does not require any government. You see, I have no alternative for lowering violence and aggression within the perimeter of a state than ...
Not in my case. My savings are in bitcoin, which is not issued by any government. There is no need for any government to issue any currency. Furthermo...
To tell you the truth, I somehow suspect that I do not _really_ understand the objection voiced by Wittgenstein in 3.333. Is it related to Curry's par...
Comments