Science is about modelling the real world. Mathematics is about modelling. Programming is "interactive" modelling. Its all about modelling accurately.

Clearly you are also too much of a bigot to understand that models are just models and unreadable and undecipherable models are useless and full of shit, especially those built by schizophrenics or priests.

> If you say no, then I challenge you to construct a useful and consistent version of calculus without formal mathematics.

That was how it was constructed in the first place genius. Both calculus and fourier were built for practical purposes before formalist clowns were even alive probably. So why don't you go read the originals.

Formal calculus is beyond useless, its unreadable.

Yes. Completely ignore the degenerates. There are many sober people who have made art and science. You should not allow mentally ill lunatics to define art, music, religion, maths or politics anymore than you will allow them to be your cab driver or spouse.

Clearly science is about sobriety and not schizophrenia. I guess mathematics was hijacked by schizophrenics, music and art by depressed losers. No wonder you are out of touch with reality, practicality and are defending symbols which you think have magical "powers" beyond mere convention.

You can also see this in physics with the string theory garbage, however unlike "pure" mathematics ... in physics people need to test experimentally.

> Yes, and in a sub-thread of the post you've made it clear that you doubt the usefulness of mathematics.

No, I said proofs were tautological and pointless and notation is useless. Formal mathematics is bullshit.

> On several occasions have I and others invited you to comment on very concrete mathematical constructions.

Your sock puppets ?

1. You were asking about fundamental theorem of calculus

This has a very geometric proof. Why would I have a problem with that ? I am all for geometry, visualization, simulation , testing ....

2. A number puzzle

I don't care for number puzzles. I will try to solve that number puzzle if you can write vietnamese jokes.

The internet makes it easy for pedantic losers to have a loud opinion. Hell I have even run in to pedantic losers who have the time to create multiple new and fake accounts and use old sock puppets to create the illusion of an audience because these friendless, loveless losers literally have no one to talk to IRL.

> I keep running into people like this all the time.

Psychological attacks, amazing! I'm guessing you are one of those deeply insecure symbol twiddlers. Let me guess, as kid you were crap at everything, especially sports except symbol twiddling so you latched onto those praises your teacher gave you and as an adult that is the only source of your self-esteem. And you can't handle it when someone on the internet thinks abstract mathematicians are full of shit.

1. Socrates is mortal

2. Mortals die

3. Socrates dies

Deduction is really like amazing. Holy shit we really proved something spectacular here. I guess you would be really impressed if I used tau and sigma and defined death with vietnamese alphabet.

Almost the entirety of calculus was derived from problems related to physics. Volumes were calculated for doing engineering. Mathematics != Thinking. The last time I checked both logic and critical thinking were branches of philosophy.

All good mathematicians are physicists or engineers. Heck some even learnt maths on their own. All mediocre mathematicians write textbooks and hide behind notations. Come to think of it they remind me of OO programmers in their utter arrogant mediocrity. Most abstract mathematics is like the definition of protocols/interfaces and other platonic garbage. I suppose this debate will never end. Plato vs Aristotle, Deduction vs Induction, Analytic vs Synthetic ....

> Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.

https://www.uni-muenster.de/Physik.TP/~munsteg/arnold.html

I see simulating as a part of the experiment. If the proof is wrong it wouldn't last a seconds worth of simulation. I suppose a proof in essence is a pattern or an invariant of the system ... but most proofs have really no meat to them. The notation is merely intimidating like obfuscated code.

A triangle has a sum of 180 ? Well how about if you push the triangle inside out. In code you can easily run a more complex simulation which gives you all possible values of the sum ... which is why ascertaining useful facts like 180 ad-nausea is boring at best. In fact most mathematics if it can't be simulated can't exist.

I think in the future programming will force all mathematicians to code or give out simulations. Most mathematical notation was intended to be throwaway by the original authors, thats why there are so many notations. Trying to find relevance in them is a pointless exercise. Much like 80x20, tabs vs spaces ... most of the original intent is lost and what survives is guff meant for ceremonious purposes.

What I meant with the promises was, If you could pass three closures ... like success, error, restart could you get some kinda condition system ?

If you are just going to use `TAGBODY` and `GO` to implement this ... in a goto based languages like C I don't think you would be needing a condition system. In C a nested function can also jump into a parents goto label. No one probably uses it, but just saying!

Also how similar is this to promises in javascript ?

https://christianengstrom.wordpress.com/the-pirate-party-on-...

I too can ignore every big budget predictable cliche and say so what. Lets ignore the successes of alternatives.

Is Kanye West and Britney Spears the best you can do with millions of dollars ? I'll stick to punk and EDM ... no thanks.

> I’m a huge fan of indy media but, because of that, I pay for it, and I don’t like it when people freeload.

Is copyright / patents the only way to finance and get money back ?

Absolutely not. Thats the argument I am making.

https://en.wikipedia.org/wiki/Base_rate_fallacy

80% movies don't need the 100 million dollar budget and I'm pretty sure Johnny Deepp would be happy to release Edward Scissorhands to the public domain.

Most big movies make their money by single day screenings and releasing movies at different dates in different regions with market buzz.

> If we take away the option of artificial scarcity then an entire highly trained professional class will be out of work.

Interestingly your argument fails for porn. Its about 1/4th the size of hollywood.

How about publishers own the copyright and creators own the copyright instead of commoditising a copyright artefact ?

I assure you musicians can survive and Depp can do some theatre. Most EDM is essentially copyright free, especially techno. 1 year of exclusivity is fine. Fuck NDAs.

These days the cost of production has gone down so I think you will see more indie media taking advantage of that. The average budget for a reasonable movie is less than 5 million, heck even 500k dollars going by kickstarter funded movies.

https://www.oreilly.com/library/view/open-sources/1565925823...

The blunt fact of the matter is - A majority of the movies would gain more by giving it away to the public domain because most movies fail. Radio did not kill Art. Internet is the new radio.

The same is true even for software. 80% of business fail. It would not matter if they gave their code away. GPL based business have made billions, i'n not even talking about open source and have more users than some of the biggest "startups".

Among the minority that made it "big" copyright contributed maybe 5% to the success. IP allows big companies to bully creators, lie to consumers and bully independent companies that they perceive as threats.

In Music, Code, Science ... openness has lead to more innovation. Movies and Games present an interesting case. They have plenty of upfront costs. Games have already embraced some notions of the freemium mode. It would be really interesting if 100 million dollar movie is entirely funded by the people. There is nothing stopping that from happening. Copyright, Patents should last at-most 1 year.