Sydney Mathematical Research Institute (SMRI)’s Post

This is so great. Touches on key issues in math and research and probabilities and more. Explained clearly and logically with simple helpful visuals, to boot.

FREE new book by Prof. Eddy Keming Chen!

Dear connections, I am happy to announce that I have created a Math Blog! The first post is about a theoretical result. The second one will be about its numerical implementation. You can check the content at https://lnkd.in/dPHjU6yx

Taisuke Sato, logical reasoning/abduction with linear algebra It is not exactly linear, but quite clear/refreshing. One may find his body of work on Google Scholar, arXiv. Abducing Relations in Continuous Spaces Taisuke Sato, Katsumi Inoue, Chiaki Sakama IJCAI 2018

We continue our Formal Methods Teaching tutorials series with a lecture on Thursday (!!), March 28! Prof Wolfram Kahl, McMaster University, Canada will lecture on his experiences in teaching with a tool called CalcCheck: a proof checker for teaching calculational Logics and Discrete Mathematics. CalcCheck offers an automated hands-on approach to learning math that traditional teaching methods lack. It supports the development of critical thinking and problem-solving skills, by encouraging students to actively explore and experiment. Some features of CalcCheck: - Proof Checking: The ability to check the logical validity of each step in a mathematical proof. - Interactive Exercises: Students can engage with interactive exercises that are designed to reinforce mathematical concepts and proof techniques. - Self-Learning: It can be used for self-learners of mathematical logic, discrete mathematics, and other related fields. - Customisability: Teachers can create custom exercises and problem sets tailored to their curriculum, making it a versatile tool for a variety of mathematical topics. Prof. Kahl is the developer and maintainer of CalcCheck. More information about our lecturer can be found here: https://lnkd.in/dDJ_F_vH. The zoom link for Prof. Kahl’s lecture is https://lnkd.in/d39QZi8C. The event will last about an hour. Warmly welcome!! PS: for more info, here is the tutorial series webpage: https://lnkd.in/dEDFpCtr.

Better late than never: finally, I'm updating the book again with new chapters! https://lnkd.in/dj_9HTdc #BeyondTheAgeOfMachines The map is not the territory. This latest addition to "Beyond the Age of Machines" is called "Mechanistic Maps." TL;DR: it describes the philosophical baggage of mechanistic science (transcendental laws, no circular causation & laws vs. state) through a quick & dirty conceptual history from Plato to Newton. As usual, this is a first draft. Feedback is greatly appreciated!

"Linear relationships are easy to think about: the more the merrier. Linear equations are solvable, which makes them suitable for textbooks. Linear systems have an important modular virtue: you can take them apart and put them together again - the pieces add up. Non-linear systems generally cannot be solved and cannot be added together... Nonlinearity means that the act of playing the game has a way of changing the rules.... That twisted changeability makes non-linearity hard to calculate, but it also creates rich kinds of behavior that never occur in linear systems." -James Gleick, author of Chaos: Making a new science

My newest paper has just appeared -- an extended version of my Plenary Lecture at the International Conference on Recent Advances in Graph Theory and Allied Areas (ICRAGAA), February 2, 2023. Here is a link -- ENJOY! https://lnkd.in/d_6gQvQm Even the non-mathematicians may like some of the historical stories.

Want to know about Research on Mathematics? Then, this Session is for you!!

What happens when math meets art? For Dr. Edmund Harriss, it sparks creativity and new discoveries. From the iconic Harriss Spiral to his Curvahedra toy, his work beautifully blends math and art, fueling each other’s magic. Discover more in our latest Math Values article: https://lnkd.in/eVaCNZHv