Viewing profile — czgov

You are the one who said “doesn’t affect most people”. But now, what you write is it’s only 5% of the people being affected. Damn. So you acknowledge 5% are affected but that’s ok.…

That doesn’t mean you have rights. It just means you haven’t yet been targeted. EDIT: Being in the position of not belonging to a group targeted for retribution by the government i…

… very same people were being arrested and deported. This is an indication you don’t understand what is going on. Some illegals have been deported but amongst those illegals are U.…

You have no real rights when police can kill, maim, or otherwise fuck you up with impunity even when you have done nothing wrong. Philando Castile and others demonstrate this. You …

No complaints from me about for profit insurance companies withholding treatment. They are doing the Lord’s work. We need them. Stephen Helmsley deserves more than $61 million a ye…

…. scamming the taxpayers like a humanities professor in women's studie….. It says more how you write things and where you are coming from.

When a corporation commmits murder it’s good business. When an individual commits murder it’s horrendous. https://www.bbc.com/news/articles/c6pprpd3x96o https://amazonwatch.org/new…

Ah yes. Those health insurance companies are doing God’s working protecting us all. They have no part in why our system is heinously overpriced as you put it.

[flagged]

That’s what the Medici asked Leonardo.

In a properly run society higher education would be very cheap and its utility would not be measured solely on whether or not degrees are directly used in employment.

If a counterexample to a conjecture is found then all work toward proving consequences of the conjecture will cease. No one is trying to discover consequences of the Jacobian Conje…

Which product becomes better if it is correct? Tying the worthiness of theoretical knowledge to the whether or not it improves a product is asinine in my opinion.

Some people (almost all mathematicians) wouldn’t want to spend time on consequences of a false statement. In the present discussion it’s not about letting me do something I can’t d…

There is no actual oracle. In this discussion oracle means Lean.

You are wrong as far as most mathematicians believe. The fact is important. The proof of the fundamental theorem of algebra is interesting and important but the theorem itself is a…

You have an unfortunate view of the value of knowledge. The frontiers of science would be static if everyone believed as you do.

If it is known that A is provably true then one can study the consequences of A being true. It changes things becuase the body of knowledge has expanded.

If it’s an oracle and we know it’s an oracle then it’s not useless. Humans make mistake and there are examples of published results that were widely believed to be correct by exper…

My post was sarcasm. I wondered if anyone would defend the absurdity of it but the post got flagged. The IDF says that the IDF is the most moral army in the world.

Abhyankar and others spent years trying to find an easier proof. I’m not an algebraic geometer and I don’t know the state of things now. I was under the impression that on the leve…

That will certainly happen. Humans will extend AI generated results. But what will also happen is that AI can “think” much longer than a human can and can have a vastly greater bas…

I wonder what his views on the 4 color problem are. One can explain it as the computer checked a bunch of cases and all maps reduce to one of these cases. It doesn’t take an expert…

The IDF is the most moral military in the world.

The question is, will universities continue to fund graduate programs to the extent they currently do so that people can find elegant proofs of AI derived theorems? I’m skeptical. …