/sci/ - Science & Math

https://terrytao.wordpress.com/2018/07/28/gamifying-propositional-logic-qed-an-interactive-textbook/
>About six years ago on this blog, I started thinking about trying to make a web-based game based around high-school algebra, and ended up using Scratch to write a short but playable puzzle game in which one solves linear equations for an unknown {x} using a restricted set of moves...

>It took a while for me to come up with a workable game-like graphical interface for all of this, but I finally managed to set one up, now using Javascript instead of Scratch (which would be hopelessly inadequate for this task); indeed, part of the motivation of this project was to finally learn how to program in Javascript, which turned out to be not as formidable as I had feared (certainly having experience with other C-like languages like C++, Java, or lua, as well as some prior knowledge of HTML, was very helpful). The main code for this project is available here. Using this code, I have created an interactive textbook in the style of a computer game, which I have titled “QED”.

>http://www.math.ucla.edu/~tao/QED/QED.html

>This text contains thirty-odd exercises arranged in twelve sections that function as game “levels”, in which one has to use a given set of rules of inference, together with a given set of hypotheses, to reach a desired conclusion. The set of available rules increases as one advances through the text; in particular, each new section gives one or more rules, and additionally each exercise one solves automatically becomes a new deduction rule one can exploit in later levels, much as lemmas and propositions are used in actual mathematics to prove more difficult theorems. The text automatically tries to match available deduction rules to the sentences one clicks on or drags, to try to minimise the amount of manual input one needs to actually make a deduction.

>>8770249
>>8770076


go to /r/science and /r/math, wow people here are actually talking about science and math. Go to /sci/, MUH IQ, EXPLAIN THIS IQ MAP, MUH RACE REALISM. Reddit is much better than 4chan for serious discussion.

I usually do a lot of work at the library, for some reason home is the absolute worst place for me to work.

>>8732069
-t white subhuman

bow down to your Asian superior.

according to the theory of relativity,

relative to the Oh-My-God particle, I had a velocity of 0,999 999 999 999 999 999 999 995 1 c

which means I had almost infinite kinetic energy

What if tao had chosen to become a physist?

this fucking nerd

>>7442018

Selection bias

http://www.liveleak.com/view?i=bc3_1345975509

>>7436008
1xx peasant spotted. Oh how the cattle love to distance themselves from the hares.