Most of your Splash classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. Access to this level of conversation has a way of facilitating deep connections where you can feel deeply seen and welcomed. Circling is a practice about getting others' worlds, sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic.

Most of your Splash classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. There's a kind of magic to being deeply seen, and to being welcomed as you are. Circling is a practice about getting others' worlds, and sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic

It's a well-known fact of logic that if from $$P$$ you can get $$Q$$, then from $$P$$ you can also get $$Q$$ and $$Q$$.* So since you can get two dimes and a nickel from a quarter, you can get two dimes and a nickel and two dimes and a nickel from a single quarter. Come to learn about linear logic, which is a version of logic which doesn't claim that you can get infinite amounts of money from a quarter. *For example, since $$n = 2$$ implies that $$n = 1 + 1$$ then, $$n = 2$$ implies that $$n = 1 + 1$$ and also $$n = 1 + 1$$.

Löb's theorem is a beautiful theorem with a deceptively short proof. It states that $$\square (\square P \to P) \to \square P$$ for all $$P$$---that if you can show that proving $$P$$ is sufficient to make $$P$$ true, then you can prove $$P$$. Löb's theorem has a variety of applications, from enabling robust cooperation in the prisoner's dilemma, to curing social anxiety, from proving Gödel's incompleteness theorem, to proving that the halting problem is undecidable. I will present a few proofs of Löb's theorem, all of which are twisty in subtly different ways. We will spend the rest of the time working on wrapping our minds around these proofs, and discussing related topics.

Most of your Spark classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. There's a kind of magic to being deeply seen, and to being welcomed as you are. Circling is a practice about getting others' worlds, and sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic

Most of your Spark classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. Access to this level of conversation has a way of facilitating deep connections where you can feel deeply seen and welcomed. Circling is a practice about getting others' worlds, sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

We will attempt to generate some key concepts in economics through puzzles. These concepts will enhance your ability to engage and reason about social phenomena in the world. In class, the puzzles will stimulate your logical and rigorous selves, and occasionally, your social selves!

Have you ever felt overwhelmed, and not known how to deal with it? Have you ever wanted to connect more deeply with someone, and not known how? Have you ever found yourself in the middle of a situation with multiple people who felt strongly, and wished for the grace to navigate the social dynamics well? Have you ever wondered what it would be like to look out at the world through another person's eyes? Welcome to circling, a practice of sharing our in-the-moment experiences with each other, in real time, in service of connection, presence, and awareness. How this class looks depends on what you want. We might simply spend an hour or two each week in guided meditation, giving you a refuge from the obligations of everyday life and a place to develop your awareness of yourself. We might circle each week---have a group conversation about what it's like to be you, what it's like to be me, and what it's like to be us. If you're interested, we might guide you through the experience of facilitating a circle, of facilitating deeper emotional connections and conversations.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Do you have questions or uncertainties about how to deal with dating, relationships, friendships, or family interactions? Do you have unmet desires for deeper connections, being more understood, or understanding others better? Bring your questions, thoughts, and insights, and let's discuss these topics! We may also practice some exercises that I've found especially useful in my ability to communicate, foster emotional safety for myself and others, and resolve conflicts.

Most of your Spark classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. Access to this level of conversation has a way of facilitating deep connections where you can feel deeply seen and welcomed. Circling is a practice about getting others' worlds, sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic.

Most of your Spark classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. There's a kind of magic to being deeply seen, and to being welcomed as you are. Circling is a practice about getting others' worlds, and sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic

Something like half of the disagreements between kids, teens, and their parents and teachers comes from just being on different communication wavelengths, rather than *actually* having incompatible goals. If you can fix the *way* that you're arguing, you can make the argument go away—and often in a way that leaves the grownup understanding what you want, and willing to help you get it.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Most of your Splash classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. There's a kind of magic to being deeply seen, and to being welcomed as you are. Circling is a practice about getting others' worlds, and sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic

One of the most essential ingredients to successful emotional communication is awareness of what you're feeling, what others are feeling, and how these feelings evolve moment-by-moment. Come practice listening and sharing emotions and sensations as they arise moment-to-moment.

Say there's a $5 bill and a $10 bill on a table. You can take either one of them. Which would you take? The $10 bill, right? What if you took the $5 bill? This is a surprisingly subtle question, especially when you consider the fact that you are a good decision-maker, and so must have had a good reason to take the $5 bill if you took it. It's subtle enough that many decision theories get it wrong. Come learn about four decision theories (evidential, causal, timeless, and updateless), and about the decision puzzles that demonstrate why none of these is an entirely satisfactory answer to the question "What is a 'what if'?"

Most of your Splash classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. Access to this level of conversation has a way of facilitating deep connections where you can feel deeply seen and welcomed. Circling is a practice about getting others' worlds, sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic.

Do you have questions or uncertainties about how to deal with dating, relationships, friendships, or family interactions? Do you have unmet desires for deeper connections, being more understood, or understanding others better? Bring your questions, thoughts, and insights, and let's discuss these topics! We may also practice some exercises that I've found especially useful in my ability to communicate, foster emotional safety for myself and others, and resolve conflicts.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Come learn how to count past infinity, graphically!

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Say there's a $5 bill and a $10 bill on a table. You can take either one of them. Which would you take? The $10 bill, right? What if you took the $5 bill? This is a surprisingly subtle question, especially when you consider the fact that you are a good decision-maker, and so must have had a good reason to take the $5 bill if you took it. It's subtle enough that many decision theories get it wrong. Come learn about four decision theories (evidential, causal, timeless, and updateless), and about the decision puzzles that demonstrate why none of these is an entirely satisfactory answer to the question "What is a 'what if'?"

How likely is it that the first digit of $$\pi$$ is 3? It's a certainty. How likely is it that the $$10^{100}$$th digit of $$\pi$$ is 3? Probably $$1/10$$. What's the difference between these two questions, and what does it mean to ask about the likelihood of something that's either certainly true or certainly false? Come to this class to find out!

Do you detest small talk? Are you eager to discover new ways to interact with people? Do you crave deep and interesting and vulnerable connections with people, but aren't sure how to get them? Come play authentic relating games, short games that are designed to get you in touch with what's true and alive for you, and for your conversational partners! Example games we might play: - Curiosity - ask an individual any question you want (they can choose whether or not to answer), and the only rule is that you must be genuinely curious about your question - Noticing - take turns sharing back and forth with someone what you notice about your physical experience or emotions - Context conversations - e.g., I'd write an enthusiastic explanation of context conversations, because I want to share my excitement about this game. - Expression conducting - for two minutes, use your hands to "conduct" your partner's facial expressions

Most of your Spark classes will be about objects and things. Some of your conversations will involve personal history, where you grew up, what you like and dislike. This class will be a third kind of conversation, about what our present experience is, as we're having it. There's a kind of magic to being deeply seen, and to being welcomed as you are. Circling is a practice about getting others' worlds, and sharing what it's really like to be you, and having that be seen and reflected. Come experience the magic

Say there's a $5 bill and a $10 bill on a table. You can take either one of them. Which would you take? The $10 bill, right? What if you took the $5 bill? This is a surprisingly subtle question, especially when you consider the fact that you are a good decision-maker, and so must have had a good reason to take the $5 bill if you took it. It's subtle enough that many decision theories get it wrong. Come learn about four decision theories (evidential, causal, timeless, and updateless), and about the decision puzzles that demonstrate why none of these is an entirely satisfactory answer to the question "What is a 'what if'?"

The Prisoner's Dilemma is a standard example in game theory of a situation in which two "rational" players will choose not to cooperate, even though they would both be better off if they cooperated. However, if both players are mind readers, then it is possible to construct rational agents that cooperate without going in to infinite loops.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

The set of real numbers is uncountable. No matter how you order them, if you try to count them one by one, you will miss some.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Come learn how to count past infinity, graphically!

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

It's a well-known fact of logic that if from $$P$$ you can get $$Q$$, then from $$P$$ you can also get $$Q$$ AND $$Q$$ (see example below). So since you can get two dimes and a nickel from a quarter, you can get two dimes and a nickel and two dimes and a nickel from a single quarter. Come learn about linear logic, which is a version of logic which doesn't claim that you can get infinite amounts of money from a quarter. EXAMPLE: For example, since $$n = 2$$ implies that $$n = 1 + 1$$ then, $$n = 2$$ implies that $$n = 1 + 1$$ and also $$n = 1 + 1$$.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Have you ever wondered how to define numbers, rigorously? Come learn how to count past infinity, graphically! We'll then go over the formal definition of numbers as sets, and talk a little bit about ordinal arithmetic.

The Prisoner's Dilemma is a standard example in game theory of a situation in which two "rational" players will choose not to cooperate, even though they would both be better off if they cooperated. However, if both players are mind readers, then it is possible to construct rational agents that cooperate without going in to infinite loops.

Say there's a $5 bill and a $10 bill on a table. You can take either one of them. Which would you take? The $10 bill, right? What if you took the $5 bill? This is a surprisingly subtle question, especially when you consider the fact that you are a good decision-maker, and so must have had a good reason to take the $5 bill if you took it. It's subtle enough that many decision theories get it wrong. Come learn about four decision theories (evidential, causal, timeless, and updateless), and about the decision puzzles that demonstrate why none of these is an entirely satisfactory answer to the question "What is a 'what if'?"

Löb's theorem is a beautiful theorem with a deceptively short proof. It states that $$\square (\square P \to P) \to \square P$$ for all $$P$$---that if you can show that proving $$P$$ is sufficient to make $$P$$ true, then you can prove $$P$$. Löb's theorem has a variety of applications, from enabling robust cooperation in the prisoner's dilemma, to curing social anxiety, from proving Gödel's incompleteness theorem, to proving that the halting problem is undecidable. I will present a few proofs of Löb's theorem, all of which are twisty in subtly different ways. We will spend the rest of the time working on wrapping our minds around these proofs, and discussing related topics.

What do the prisoner's dilemma, the halting problem, and Gödel's incompleteness theorem have in common? Löb's Theorem! Come learn how Löb's theorem robust enables cooperation in the prisoner's dilemma! Come learn how, via the Curry-Howard isomorphism, the proof of Löb's theorem is essentially the same as the proof that the halting problem is undecidable! Come learn how Löb's theorem trivially proves Gödel's incompleteness theorem!

What does it mean for two things to be equal? What does this have to do with loops of string and with the foundations of mathematics? Come to this class to find out! In the past few years, type theory has emerged as a possible replacement for set theory as a foundation of mathematics. Homotopy type theory is an exciting new way to base math on homotopy theory, in the setting of type theory.

Are you interested in getting computers to do your math homework for you? Are you confused about what constitutes a "valid" proof? Are you interested in seeing computers check your proofs? Come experiment with the interactive proof assistant, Coq! I'll begin by talking a bit about the history of computer-assisted proofs, including the first proof of the four color theorem and the recent formalization of the odd order theorem. Then, you'll experiment with simple logic proofs in the Coq proof assistant, while I walk around and answer questions and give help. The central puzzle of the class will be proving the following three statements equivalent: 1. $$\forall P, P \vee \neg P$$ 2. $$\forall P, \neg\neg P \to P$$ 3. $$\forall P\ Q, ((P \to Q) \to P) \to P)$$ Near the end of class, I'll tell a story about how to use a time machine to solve P vs. NP (or to solve the Riemann Hypothesis); this story will prove that $$3 \Longrightarrow 1$$.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Come learn how to count past infinity, graphically!

Are you interested in getting computers to do your math homework for you? Are you confused about what constitutes a "valid" proof? Are you interested in seeing computers check your proofs? Come experiment with the interactive proof assistant, Coq! I'll begin by talking a bit about the history of computer-assisted proofs, including the first proof of the four color theorem and the recent formalization of the odd order theorem. Then, you'll experiment with simple arithmetic and logic proofs in the Coq proof assistant, while I walk around and answer questions and give help.

What does it mean for two things to be equal? What does this have to do with loops of string and with the foundations of mathematics? Come to this class to find out! In the past few years, type theory has emerged as a possible replacement for set theory as a foundation of mathematics. Homotopy type theory is an exciting new way to base math on homotopy theory, in the setting of type theory. During the first hour, we'll talk about paths between points, and paths between paths, and I'll teach about the basics of homotopy theory. During the second hour, I'll explain how equality and isomorphism can be taken to be the same thing, and how equality looks a lot like paths, when you define it the right way.

The set of real numbers is uncountable. No matter how you order them, if you try to count them one by one, you will miss some.

The Prisoner's Dilemma is a standard example in game theory of a situation in which two "rational" players will choose not to cooperate, even though they would both be better off if they cooperated. However, if both players are mind readers, then it is possible to construct rational agents that cooperate without going in to infinite loops.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

What does it mean for two things to be equal? What does this have to do with string and the foundations of mathematics? When are two proofs of equality themselves equal? Come to this class to discover these things for yourself! We'll begin with a discussion of the nature of equality, seguing with the presentation of a particular definition of equality that turns out to be surprisingly powerful and interestingly structured. Following that, you'll learn how to reason about equality, using this definition, in the proof assistant Coq, and explore the nature of equality.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Have you ever wondered how to define numbers, rigorously? Come learn how to count past infinity, graphically! We'll then go over the formal definition of numbers as sets, and talk a little bit about ordinal arithmetic.

It's a well-known fact of logic that if from $$P$$ you can get $$Q$$, then from $$P$$ you can also get $$Q$$ AND $$Q$$ (see example below). So since you can get two dimes and a nickel from a quarter, you can get two dimes and a nickel and two dimes and a nickel from a single quarter. Come learn about linear logic, which is a version of logic which doesn't claim that you can get infinite amounts of money from a quarter. EXAMPLE: For example, since $$n = 2$$ implies that $$n = 1 + 1$$ then, $$n = 2$$ implies that $$n = 1 + 1$$ and also $$n = 1 + 1$$.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Come learn how to count past infinity, graphically!

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Are you interested in getting computers to do your math homework for you? Are you confused about what constitutes a "valid" proof? Are you interested in seeing computers check your proofs? Come experiment with the interactive proof assistant, Coq! I'll begin by talking a bit about the history of computer-assisted proofs, including the first proof of the four color theorem and the recent formalization of the odd order theorem. Then, you'll experiment with simple arithmetic and logic proofs in the Coq proof assistant, while I walk around and answer questions and give help.

Did you know that logic and set theory are, in some sense, the same thing? Did you know that proofs and programs are, in some sense the same thing? Come learn about category theory, a beautiful and abstract mathematical language which is useful for unifying various areas of math.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Have you ever wondered how to define numbers, rigorously? Come learn how to count past infinity, graphically! We'll then go over the formal definition of numbers as sets, and talk a little bit about ordinal arithmetic.

It's a well-known fact of logic that if from $$P$$ you can get $$Q$$, then from $$P$$ you can also get $$Q$$ and $$Q$$.* So since you can get two dimes and a nickel from a quarter, you can get two dimes and a nickel and two dimes and a nickel from a single quarter. Come to learn about linear logic, which is a version of logic which doesn't claim that you can get infinite amounts of money from a quarter. *For example, since $$n = 2$$ implies that $$n = 1 + 1$$ then, $$n = 2$$ implies that $$n = 1 + 1$$ and also $$n = 1 + 1$$.

What does it mean for two things to be equal? What does this have to do with string and the foundations of mathematics? Come to this class to find out! In the past few years, type theory has emerged as a possible replacement for set theory as a foundation of mathematics. Homotopy type theory is an exciting new way to base math on homotopy theory, in the setting of type theory. During the first hour, we'll talk about paths between points, and paths between paths, and I'll teach about the basics of homotopy theory. During the second hour, I'll explain how equality and isomorphism can be taken to be the same thing, and how equality looks a lot like paths, when you define it the right way.

Come ask all the math questions you've been dying to have answered to a panel of MIT math majors! We'll answer anything from conceptual questions (what are Lagrange multipliers?) to computational questions (how do I compute this integral?) to philosophical questions (what is math?)! We'll have teachers studying all areas of math, so hopefully we can answer any (reasonable) questions you throw at us.

Did you know that logic and set theory are, in some sense, the same thing? Did you know that proofs and programs are, in some sense the same thing? Come learn about category theory, a beautiful and abstract mathematical language which is useful for unifying various areas of math.

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Come learn how to count past infinity, graphically!

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Have you ever wondered how to define numbers, rigorously? Come learn how to count past infinity, graphically! We'll then go over the formal definition of numbers as sets, and talk a little bit about ordinal arithmetic.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Did you ever have arguments about whether or not $$\infty + 1 = \infty$$? Come learn how to count past infinity, graphically! Time permitting, we'll then go over the formal definition of numbers as sets, and talk a little bit about cardinal and ordinal arithmetic.

Want to learn how to use LaTeX to format your mathematical formulae like this: $$\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$$? Want to make your English teachers think you’re crazy for having your papers formatted nicely in scientific form? Come learn the basics of LaTeX, the standard mathematical typesetting language. Works on any platform. We provide the computers. But I’ll tell you how to install it on your own computers. If you want to use your laptop instead, you should install MiKTeX and TeXnicCenter (either together from http://www.tug.org/protext/ or separately from http://miktex.org/2.8/setup and http://www.texniccenter.org/resources/downloads/29), or another LaTeX editor (if you don’t use windows) before you arrive; the installation of MiKTeX can take about half an hour to an hour.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Want to learn how to use LaTeX to format your mathematical formulae like this: $$\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$$? Want to make your English teachers think you’re crazy for having your papers formatted nicely in scientific form? Come learn the basics of LaTeX, the standard mathematical typesetting language. Works on any platform. We provide the computers. But I’ll tell you how to install it on your own computers. If you want to use your laptop instead, you should install MiKTeX and TeXnicCenter (either together from http://www.tug.org/protext/, or separately from http://miktex.org/2.8/setup and http://www.texniccenter.org/resources/downloads/29), or another LaTeX editor (if you don’t use windows) before you arrive; the installation of MiKTeX can take about half an hour to an hour.

Do you think you have a good grasp of physics? A good intuition for the physical world? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Do you think you have good physical intuition and a good grasp of physics? Come learn about the predictions of quantum mechanics (and the experiments that validate these predictions) which violate your fundamental beliefs about the universe!

Want to learn how to use LaTeX to format your mathematical formulae like this: $$\sum_{i=1}^\infty\frac{1}{n^2} = \frac{\pi^2}{6}$$? Want to make your English teachers think you’re crazy for having your papers formatted nicely in scientific form? Come learn the basics of LaTeX, the standard mathematical typesetting language. Works on any platform. We provide the computers. But we’ll tell you how to install it on your own computers. Although we’ll provide example mathematics to typeset, you’ll probably get more out of the class if you bring your own mathematics to typeset (e.g. notes or homework from your math class). If you want to use your laptop instead, you should install MiKTeX and TeXnicCenter (either together from http://www.tug.org/protext/, or separately from http://miktex.org/2.8/setup and http://www.texniccenter.org/resources/downloads/29), or another LaTeX editor (if you don’t use windows) before you arrive; the installation of MiKTeX can take about half an hour to an hour.

Do you think philosophy is all in your head? Experimental philosophy is a growing field that uses experimental data—usually, surveys of ordinary non-philosophers—to answer philosophical questions. We'll look at some of the questions experimental philosophers are trying to answer. How do people's intuitions about ethical problems vary across cultures? What is consciousness? When are people responsible for their actions? And finally—Can we learn anything about philosophy by doing experiments?

Want to learn how to use LaTeX to format your mathematical formulae like this: $$\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$$? Want to make your English teachers think you’re crazy for having your papers formatted nicely in scientific form? Come learn the basics of LaTeX, the standard mathematical typesetting language. Works on any platform. We provide the computers. But I'll tell you how to install it on your own computers. Although we’ll provide example mathematics to typeset, you’ll probably get more out of the class if you bring your own mathematics to typeset (e.g. notes or homework from your math class). If you want to use your laptop instead, you should install MiKTeX and TeXnicCenter (either together from http://www.tug.org/protext/, or separately from http://miktex.org/2.8/setup and http://www.texniccenter.org/resources/downloads/29), or another LaTeX editor (if you don’t use windows) before you arrive; the installation of MiKTeX can take about half an hour to an hour.

This isn't a class, really. In the tradition of philosophers since Socrates, we don't know anything: so we're not going to try to teach you anything. We will discuss questions, however. We'll talk about some classic philosophical dilemmas, but feel free to ask about your own ideas! No previous philosophy experience is required, but willingness to participate is a must.

In arithmetic, if you multiply two numbers, you get the same result no matter which order you put them in. Learn what a matrix is and why the product of two matrices depends on which order you multiply them in. The class will cover determinants, matrix multiplication, row operations, and inverses.

This class will be a discussion about the math research I’ve been doing for the past three years. I will talk about the various problems I’ve been investigating (see below for a brief overview), and then we will discuss the progress that I’ve made, the open problems I’m currently working on, or whatever aspects of the topic you find interesting. Consider the operations union, intersection, complementation, addition, and multiplication on sets of natural numbers (where the sum or product of two sets is the set of sums or products). What are all the sets that can be constructed, starting from one element sets of natural numbers? For example, the set of composite numbers (along with 0) is definable as $$\overline{\{1\}} \times \overline{\{1\}}$$ (where ¯ is complementation). The set of squares (1, 4, 9, 16, …), however, is believed to not be definable. Another question we can ask is, is it possible (and if so, how long will it take) to decide if a given number is in the set defined by a given formula? What if you disallow some of the operations?

Want to learn how to use LaTeX to format your mathematical formulae like this: $$\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}$$? Want to make your English teachers think you’re crazy for having your papers formatted nicely in scientific form? Come learn the basics of LaTeX, the standard mathematical typesetting language. Works on any platform. We provide the computers. But we’ll tell you how to install it on your own computers. Although we’ll provide example mathematics to typeset, you’ll probably get more out of the class if you bring your own mathematics to typeset (e.g. notes or homework from your math class). If you want to use your laptop instead, you should install MiKTeX and TeXnicCenter (either together from <a href="http://www.tug.org/protext/">http://www.tug.org/protext/</a>, or separately from <a href="http://miktex.org/2.8/setup">http://miktex.org/2.8/setup</a> and <a href="http://www.texniccenter.org/resources/downloads/29">http://www.texniccenter.org/resources/downloads/29</a>), or another LaTeX editor (if you don’t use windows) before you arrive; the installation of MiKTeX can take about half an hour to an hour.

Since the days of Socrates, and his dialogues with random passers-by in the town square, wandering philosophical discussion has been an important part of the noble history of philosophy. So come and philosophize!! The discussion will be mostly driven by the students; we'll provide some questions to spark the conversation and some background on the Socratic method and useful philosophical debate.

LaTeX is typesetting language that can be used to make fancy formulas look beautiful. LaTeX is also a <a href="http://en.wikipedia.org/wiki/Turing_completeness">Turing complete</a> programming language that can be used to do just about anything you want it to! I intend for this class to be mostly exercise driven; I will give out one or more exercises each lecture, teach you a few of the basic concepts or point you to useful resources, and spend the rest of the time helping you do the exercises. In the first class, I will teach you the basics of LaTeX. The exercise sheet will have exercises of all levels, from easy to diabolical (so all experience levels are welcome). The topics of the remaining four weeks will vary, and requests are welcome. Do you want to know how to make pretty bibliographies? Draw pretty pictures in LaTeX? Make LaTeX do your math homework for you? Have LaTeX typeset as many lines of Pascal's Triangle as you tell it to? Write your own package (so you can \usepackage{my-package})? Write a replacement for the article document class, so that LaTeX makes your pages look however you want them to? Get LaTeX to do things that it was never meant to do (like search the Internet for you, or become your favorite programming language (albeit slower))? I can help you figure out how to do all of these things, and more, if you attend my class! Come learn just how powerful LaTeX is! Computers will be provided.

This class will be a discussion about the math research I've been doing for the past three years. I will talk about the various problems I've been investigating (see below for a brief overview), and then we will discuss the progress that I've made, the open problems I'm currently working on, or whatever aspects of the topic you find interesting. Consider the operations union, intersection, complementation, addition, and multiplication on sets of natural numbers (where the sum or product of two sets is the set of sums or products). What are all the sets that can be constructed, starting from one element sets of natural numbers? For example, the set of composite numbers (along with 0) is definable as $$\overline{\{1\}}\times \overline{\{1\}}$$ (where ¯ is complementation). The set of squares (1, 4, 9, 16, ...), however, is believed to not be definable. Another question we can ask is, is it possible (and if so, how long will it take) to decide if a given number is in the set defined by a given formula? What if you disallow some of the operations?

Want to learn how to use LaTeX to format your mathematical formulae like this: $$\sum_{n = 1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}$$? Want to make your English teachers think you're crazy for having your papers formatted nicely in scientific form? Come learn the basics of LaTeX, the standard mathematical typesetting language. Works on any platform. We provide the computers. But we'll tell you how to install it on your own computers. Although we'll provide example mathematics to typeset, you'll probably get more out of the class if you bring your own mathematics to typeset (e.g. notes or homework from your math class). If you want to use your laptop instead, you should install MiKTeX and TeXnicCenter (either together from http://www.tug.org/protext/, or separately from http://miktex.org/2.8/setup and http://www.texniccenter.org/resources/downloads/29), or another LaTeX editor (if you don't use windows) before you arrive; the installation of MiKTeX can take about half an hour to an hour.