Jörg Hanisch

[Alex Kontorovich @AlexKontorovich]

Here's another experiment with the block Lean language, this time with what I'm provisionally calling "The Integer Game".

What do you think?

https://t.co/QRzSMYSsuU

[Timothy Gowers @wtgowers @wtgowers]

Many people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing.

https://t.co/Y9Zzqaj419

[Jörn Loviscach @JoernLoviscach]

Worth every dime!

[Jörg Hanisch @HanischJoerg]

@AlexKontorovich This is cool!

[Cliff Pickover @pickover]

Mathematics.

This is a "Soul-Mate Number Pair." They love each other so much that they contain fragments of one another, forever bonded until the end of time.

[Cliff Pickover @pickover]

Mathematics & computing comes alive, via a set of rigid linkages. Converting from binary to decimal.

Imagine a larger linkage system for mimicking complex operations or thoughts.

By 上木 敬士郎 / Keishiro Ueki, @KeishiroUeki, https://t.co/jCBVyj3B7t, Used with permission.

[Cliff Pickover @pickover]

Strange Universe. Math, Physics, Reality.

"6 belts are anchored on the outside to a fixed frame, and on the inside to a spinning cube. Although the cube spins continuously in one direction the belts never become tangled. The belts return to their original configuration when the cube has rotated 720 degrees." - Jason Hise, https://t.co/LvdtJCC9PW

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Im letzten Punkt stimme ich Ihnen aber uneingeschränkt zu. Eine Überflutung mit einer Billiglösung aus China ist wahrscheinlich und autarke Lösungen sind unerwünscht, weil teurer.

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Der regulatorische Rahmen ist eine politische Einschränkung. Ich verstehe nicht was er mit der Suche nach der technisch optimalen Lösung zu tun hat, außer das ich sicherstellen muss, dass der Turm nicht umkippt. Marktumfeld = Strombörse? Gerade hier gewinnt der Hybrid am meisten!

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Meinen Sie mit "großer Teil" = "mind. die Hälfte"? Um "knappes Volumen" diskutieren zu können müsste ich wissen, wie viele Stunden oder Tage Sie die Energie speichern wollen, dann könnten wir es mal mit den aktuellen Turmmaßen vergleichen.

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Muss man manövrieren können? Ich hatte mir sehr große Blöcke vorgestellt (in die kann man auch jede Menge Fels reinmischen, um Beton zu sparen), die einfach hoch und runter fahren, ohne aneinander vorbei zu müssen. Statik bleibt schwierig. Teile und herrsche = Synergieverzicht.

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Hm, ich hätte erwartet, dass sich bei zwei gegenläufigen Variablen (genutzte Windenergie und Energie aus Speichern) eine Tendenz zur Mitte zeigt und sich so auch die Unsicherheit verringert.

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Würde sich die Amortisationsdauer im Mittel nicht eher verringern als erhöhen?

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Warum Wasser? Ich würde Betonklötze hochziehen, dann gibt es keine Probleme mit dem Druck und es reicht auch schon bis auf halbe Höhe, um mehr Energie zu speichern.

[Jörg Hanisch @HanischJoerg]

@JoernLoviscach @ChristianFegg Warum kann man in die Türme der Windräder nicht auch noch Speicher einbauen? Dann wäre der "Netzweg" vom Erzeuger zum Speicher schon mal sehr kurz! Gibt es da technisch ein Problem?

[Jörg Hanisch @HanischJoerg]

@pickover datum

[Jörg Hanisch @HanischJoerg]

@CompSciFact or you believe sometimes and sometimes not.

[Christian Baune @programaths]

For the mathematic curriculum, I would focus on ratios for 8 years to achieve mastery.

Blended in the curriculum, puzzles as those available on https://t.co/xnNuKosXgo

And those: https://t.co/Tj6t9SDL9y

With systemisation.

Euclidean geometry
And 3D modeling.

I would drop other subjects.

Note that trigonometry, Pythagoras, Thales are cases of ratios.

It's a more hand on approach that foster experimentation, self discovery and modelling.

Today, people finishing secondary school can wield advanced tools (calculus, linear algebra), but can't model properly, neither systematise. They can apply in prototypal situations.

This would create strong inequalities (some people are even unable to understand the puzzle mechanics, even when explained simply) and that would allow to push bright minds to their potential. It wouldn't impact others negatively as in the end, they don't use the teachings anyway.

Grading would be a thing of the past too. You mastered or not and it's fine either way.

Also, get practice in various trades for all.