はてなブックマーク

Gamifying propositional logic: QED, an interactive textbook 28 July, 2018 in book, expository, math.LO, teaching | Tags: computer games, logic puzzle | by Terence Tao 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 fo

What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation 10 April, 2010 in expository, math.CA, math.CV, math.NT | Tags: analytic continuation, Bernoulli numbers, elementary number theory, Euler summation formula, Rie

What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao The best performance improvement is the transition from the nonworking state to the working state. (John Ousterhout) Discovering a solution to a mathematical problem is only half of the battle.  Actually writing down the argument that you’ve discovered formally can a

A mathematical formalisation of dimensional analysis 29 December, 2012 in expository, math.MP, math.RA | Tags: dimensional analysis, rescaling | by Terence Tao Mathematicians study a variety of different mathematical structures, but perhaps the structures that are most commonly associated with mathematics are the number systems, such as the integers or the real numbers . Indeed, the use of number

What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao Better beware of notions like genius and inspiration; they are a sort of magic wand and should be used sparingly by anybody who wants to see things clearly. (José Ortega y Gasset, “Notes on the novel”) Does one have to be a genius to do mathematics? The answer is an

245A: Problem solving strategies 21 October, 2010 in 245A - Real analysis, math.CA, math.GM, tricks | Tags: measure theory, problem solving | by Terence Tao This is going to be a somewhat experimental post. In class, I mentioned that when solving the type of homework problems encountered in a graduate real analysis course, there are really only about a dozen or so basic tricks and techniques that

What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao Seven videotaped lectures from 1964 by Richard Feynman given in Cornell, on “The Character of Physical Law“,  have recently been put online (by Microsoft Research, through the purchase of these lectures from the Feynman estate by Bill Gates, as described in this inte

What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao I’ve just uploaded to the arXiv my paper “Dense sets of natural numbers with unusually large least common multiples“. This short paper answers (in the negative) a somewhat obscure question of Erdös and Graham: Problem 1 Is it true that if is a set of natural numbers