Return to Answer

Good luck! I really like your first bullet idea. I would also add the amazing fact about how Gödel proved that we cannot prove the consistency of mathematics - the 9-year-olds will get the weirdness of this fact, especially since they must be interested in mathematics!

And then you could introduce coding. I think they would enjoy using binary digits to code, for example, the subsets of a 3 element set (000, 001,...). But make the original 3 element set something visual - like a pink square, a yellow triangle, and a green circle. Find the 8 subsets, and then use 3-sequence digits of binary numbers to code the sets.

Now we have gone from the completely visual to the completely numerical! Then, you can talk about how because of Gödel coding we have the proof of the incompleteness theorem, AND this is how computers work - by coding all of the words and everything into numbers.

Again, good luck! I'm sure whatever you choose will be great!

Good luck! I really like your first bullet idea. I would also add the amazing fact that Gödel proved that we cannot prove the consistency of mathematics - the 9-year-olds will get the weirdness of this fact, especially since they must be interested in mathematics!

And then you could introduce coding. I think they would enjoy using binary digits to code, for example, the subsets of a 3 element set (000, 001,...). But make the original 3 element set something visual - like a pink square, a yellow triangle, and a green circle. Find the 8 subsets, and then use 3-sequence digits of binary numbers to code the sets.

Now we have gone from the completely visual to the completely numerical! Then, you can talk about how because of Gödel coding we have the proof of the incompleteness theorem, AND this is how computers work - by coding all of the words and everything into numbers.

Again, good luck! I'm sure whatever you choose will be great!

Good luck! I really like your first bullet idea. I would also add the amazing fact about how Godel proved that we cannot prove the consistency of mathematics - the 9 year olds will get the weirdness of this fact, especially since they must be interested in mathematics!

And then you could introduce coding. I think they would enjoy using binary digits to code, for example, the subsets of a 3 element set (000, 001,...). But make the original 3 element set something visual - like a pink square, a yellow triangle, and a green circle. Find the 8 subsets, and then use 3-sequence digits of binary numbers to code the sets.

Now we have gone from the completely visual to the completely numerical! Then, you can talk about how because of Godel coding we have the proof of the inconsistency theorem, AND this is how computers work - by coding all of the words and everything into numbers.

Again, good luck! I'm sure whatever you choose will be great!

Good luck! I really like your first bullet idea. I would also add the amazing fact about how Gödel proved that we cannot prove the consistency of mathematics - the 9-year-olds will get the weirdness of this fact, especially since they must be interested in mathematics!

And then you could introduce coding. I think they would enjoy using binary digits to code, for example, the subsets of a 3 element set (000, 001,...). But make the original 3 element set something visual - like a pink square, a yellow triangle, and a green circle. Find the 8 subsets, and then use 3-sequence digits of binary numbers to code the sets.

Now we have gone from the completely visual to the completely numerical! Then, you can talk about how because of Gödel coding we have the proof of the incompleteness theorem, AND this is how computers work - by coding all of the words and everything into numbers.

Again, good luck! I'm sure whatever you choose will be great!

Good luck! I really like your first bullet idea. I would also add the amazing fact about how Godel proved that we cannot prove the consistency of mathematics - the 9 year olds will get the weirdness of this fact.

And then you could introduce coding. I think they would enjoy using binary to code, for example, the subsets of a 3 element set. But make the original 3 element set something visual - like a pink square, a yellow triangle, and a green circle. Find the 8 subsets, and then use 3-sequence digits of binary numbers to code the sets.

Now we have gone from the completely visual to the completely numerical! Then, you can talk about how because of Godel coding we have the proof of the inconsistency theorem, AND this is how computers work - by coding all of the words and everything into numbers.

Again, good luck! I'm sure whatever you choose will be great!

Good luck! I really like your first bullet idea. I would also add the amazing fact about how Godel proved that we cannot prove the consistency of mathematics - the 9 year olds will get the weirdness of this fact, especially since they must be interested in mathematics!

And then you could introduce coding. I think they would enjoy using binary digits to code, for example, the subsets of a 3 element set (000, 001,...). But make the original 3 element set something visual - like a pink square, a yellow triangle, and a green circle. Find the 8 subsets, and then use 3-sequence digits of binary numbers to code the sets.

Now we have gone from the completely visual to the completely numerical! Then, you can talk about how because of Godel coding we have the proof of the inconsistency theorem, AND this is how computers work - by coding all of the words and everything into numbers.

Again, good luck! I'm sure whatever you choose will be great!