Welcome to Clip from Spiral logo

Interactive video lesson plan for: Computer Science ∩ Mathematics (Type Theory) - Computerphile

Activity overview:

As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory.

A Longer version of this interview can be found here: https://youtu.be/ZDEHf1wR7VA
EXTRA BITS: https://youtu.be/ex_g4zectTQ

http://www.facebook.com/computerphile
https://twitter.com/computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham: http://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com

Tagged under: computers,computerphile,computer,science,Type Theory,Set Theory,Dr Thorsten Altenkirch,University Nottingham

Clip makes it super easy to turn any public video into a formative assessment activity in your classroom.

Add multiple choice quizzes, questions and browse hundreds of approved, video lesson ideas for Clip

Make YouTube one of your teaching aids - Works perfectly with lesson micro-teaching plans

Play this activity

1. Students enter a simple code

2. You play the video

3. The students comment

4. You review and reflect

* Whiteboard required for teacher-paced activities

Share on:

Share Computer Science ∩ Mathematics (Type Theory) - Computerphile on Google+ Share Computer Science ∩ Mathematics (Type Theory) - Computerphile on Twitter Share Computer Science ∩ Mathematics (Type Theory) - Computerphile on Facebook Pin Computer Science ∩ Mathematics (Type Theory) - Computerphile Email Computer Science ∩ Mathematics (Type Theory) - Computerphile

Ready to see what else Spiral logo can do?

With four apps, each designed around existing classroom activities, Spiral gives you the power to do formative assessment with anything you teach.

Quickfire

Carry out a quickfire formative assessment to see what the whole class is thinking

Discuss

Create interactive presentations to spark creativity in class

Team Up

Student teams can create and share collaborative presentations from linked devices

Clip

Turn any public video into a live chat with questions and quizzes

1000s of teachers use Spiral to deliver awesome, engaging activities that capture students' understanding during lessons.

Now it's your turn Sign up

Spiral Reviews by Teachers and Digital Learning Coaches

Spiral
Review of Spiral by teacher: Kathryn Laster @kklaster

Tried out the canvas response option on @SpiralEducation & it's so awesome! Add text or drawings AND annotate an image! #R10tech

Spiral
Review of Spiral by teacher: Room 220 Math Stars @3rdgradeBCE

Using @SpiralEducation in class for math review. Student approved! Thumbs up! Thanks.

Spiral
Review of Spiral by teacher: Miss Ord @ordmiss

Absolutely amazing collaboration from year 10 today. 100% engagement and constant smiles from all #lovetsla #spiral

Spiral
Review of Spiral by teacher: Adam J. Stryker @strykerstennis

Students show better Interpersonal Writing skills than Speaking via @SpiralEducation Great #data #langchat folks!

Spiral
Review of Spiral by teacher: Dr Ayla Göl @iladylayla

A good tool for supporting active #learning.

Spiral
Review of Spiral by teacher: Brett Erenberg @BrettErenberg

The Team Up app is unlike anything I have ever seen. You left NOTHING out! So impressed!

Get the Clip Chrome Extension & Create Video Lessons in Seconds

Add Clip to Chrome