Roger Antonsen
Hjem
Om
Bøker
Foredrag
Undervisning
Forskning
Kunst
Presse
Blogg
Søk
CMD-K
Mørkt modus
Lyst modus
CTRL-D
Font
CTRL-X
Ff
Språk
CTRL-E/N
Norsk
Engelsk
Tilfeldig side
CTRL-Z
Søk
Søk
Søk
Roger Antonsen
Om
Bøker
Logiske metoder
Illustrating Mathematics
Studiebok til Logiske metoder
Logiske metoder: Kunsten å tenke abstrakt og matematisk
Foredrag
Innføring i intuisjonistisk logikk (8. februar 2001)
Why is modal logic so robustly decidable? (11. mars 2002)
Snitteliminasjon (3. mai 2002)
Kompletthet av modallogikk med distribuert kunnskap (2. september 2002)
Sekventkalkyle med frie variabler og skolemisering (13. januar 2003)
Free-variable sequent calculi (13. januar 2003)
A free variable calculus with variable splitting (5. juni 2003)
A Free Variable Sequent Calculus with Uniform Variable Splitting (11. september 2003)
Proof search and free variable sequent calculi (26. september 2003)
Drawing trees (12. desember 2003)
Modallogikk - introduksjon (16. februar 2004)
Uniform Variable Splitting (4. juli 2004)
Endelig modellegenskap og filtreringer i modallogikk (27. september 2004)
Introduction to Lattices and Order (25. oktober 2004)
Deltaregler, skolemisering og sunnhet (7. mars 2005)
Logikk, paradokser og tenkende maskiner (8. mars 2005)
Deltaregler, skolemisering og sunnhet (11. april 2005)
Fortløpende skolemisering og variabelsplitting (14. april 2005)
Uniform Variable Splitting (9. juni 2005)
Consistency of Variable Splitting in Free Variable Systems of First-order Logic (16. september 2005)
Variabelsplitting: konsistens og kompleksitet (31. januar 2006)
Variabelsplitting: konsistens og kompleksitet (2. februar 2006)
Logikk og spill (9. mars 2006)
Variabel Splitting: Consistency and Complexity (28. mars 2006)
En lek med det uendelige (26. september 2006)
The Theory of Liberalized Variable Splitting (17. januar 2007)
A Labelled System for IPL with Variable Splitting (17. juli 2007)
Automatisk resonnering (7. november 2007)
Variable Splitting for Automated Reasoning (18. januar 2008, kl. 10.15)
The Method of Variable Splitting (9. august 2008, kl. 15.15)
Informatikk på roterommet (5. mars 2009, kl. 10.30)
Sjonglering! Et underholdende ballsjongleringsforedrag (10. april 2009, kl. 15.45)
Robotsvermer, simuleringer og kaos (11. april 2009, kl. 17.00)
Siteswaps, Patterns, and Orbits - en lek med sjongleringsystemer (11. april 2009, kl. 18.30)
Vitenskap og sjonglering (30. april 2009, kl. 16.15)
RETE (29. oktober 2009, kl. 14.15)
Simuleringer, kaos og sex (2. april 2010, kl. 14.00)
Notasjonssystemer: Sjonglering og vitenskap (21. september 2010, kl. 11.30)
Virus, flokker, kaos og simuleringer (21. september 2010, kl. 14.30)
En exSLIers bekjennelser (21. september 2010, kl. 16.15)
Fra ingenting til overalt: Informatikkens historie (19. januar 2011, kl. 11.30)
Fra ingenting til overalt: Informatikkens historie (10. februar 2011, kl. 11.40)
Editorkurs: Emacs/Vim (9. mars 2011, kl. 16.00)
Informatikkens historie og smarte sjongleringsballer (7. september 2011, kl. 8.30)
Presentasjon av Åpen sone for eksperimentell informatikk (11. september 2011)
Smarte sjongleringsballer med visuell forsterkning (17. september 2011)
Fra ingenting til overalt (22. september 2011, kl. 17.00)
Matematikk, programmering og sjonglering (5. oktober 2011, kl. 9.00)
Sjonglering og beregninger (3. november 2011, kl. 16.15)
Informatikkens verden, del II (8. november 2011, kl. 16.15)
Matematikk, programmering og sjonglering (16. november 2011, kl. 11.30)
Avslutningsshow (16. november 2011, kl. 15.50)
Matematikk- og informatikkshow (22. november 2011, kl. 13.45)
Matematikk, programmering og sjonglering (25. januar 2012, kl. 13.15)
Informatikkshow (8. mars 2012)
Inspiring Juggling Balls (7. april 2012, kl. 18.15)
Mathematics, Programming, and Juggling (26. april 2012, kl. 13.30)
Intelligent Juggling Balls with Visual Amplification (30. april 2012, kl. 12.00)
Arduino-workshop (5. mai 2012, kl. 12.00)
Motivasjon, mestring og matematikk (10. mai 2012, kl. 13.15)
Formidlingsshow (20. september 2012, kl. 10.00)
Alternativ formidling av matematikk og informatikk (22. september 2012, kl. 13.00)
Vitenskap, programmering og matematikk (25. september 2012)
Vitenskap, programmering og matematikk (26. september 2012)
Foredrag for Elvebakken skole (11. oktober 2012, kl. 10.20)
Matematikk, sjonglering og programmering (13. oktober 2012, kl. 15.00)
Editorkurs: Emacs (24. oktober 2012, kl. 16.15)
Formidling (25. oktober 2012, kl. 14.00)
Vitenskap, programmering og matematikk (1. november 2012, kl. 14.15)
Eksperimentell matematikk (8. november 2012, kl. 16.15)
Hva er Åpen sone for eksperimentell informatikk? (19. november 2012, kl. 11.30)
Eksperimentering og annerledesmatematikk (23. november 2012, kl. 10.30)
Åpningsshow for EnergiTivoli (4. desember 2012, kl. 11.00)
Programmering (24. januar 2013, kl. 11.00)
Matematikk, programmering og sjonglering (7. februar 2013, kl. 12.00)
Matematikk, programmering og sjonglering (7. februar 2013, kl. 20.25)
Rare roboter, smarte klær og merkelige musikkmaskiner: Bli en oppfinner med Arduino! (14. mars 2013, kl. 12.00)
Vær en oppfinner med Arduino! (28. mars 2013, kl. 13.00)
The Beauty and Joy of Computer Science (29. mars 2013, kl. 17.15)
Arduino: Oppfinnelser og eksperimenter (6. april 2013)
Matematikk er mer enn det du tror (8. april 2013, kl. 11.50)
Formidling av matematikk og informatikk (10. april 2013, kl. 13.00)
Arduino 101 (13. april 2013, kl. 12.00)
Eksperimentell informatikk: Teknologier for læring og forståelse (20. april 2013, kl. 16.45)
Eksperimentell informatikk (28. april 2013, kl. 14.00)
Introduksjon til programmering i Processing og NetLogo (6. mai 2013, kl. 18.10)
En reise gjennom mønstre (22. mai 2013, kl. 9.30)
Formidling av matematikk og informatikk (22. mai 2013, kl. 12.00)
Smarte sjongleringsballer (26. mai 2013, kl. 12.30)
Lær å programmere med Processing (11. juni 2013, kl. 18.00)
Eksperimentell informatikk: Teknologier for læring og forståelse (12. juni 2013, kl. 14.00)
Matematiske eksperimenter (27. juni 2013, kl. 9.00)
Programmering i skolen: Er vi klare for det? (12. august 2013, kl. 9.00)
Berg-og-dal-bane-informatikk (14. august 2013, kl. 16.00)
Eksperimentering: Teknologier for læring og forståelse (20. august 2013, kl. 17.00)
Åpen sone for eksperimentell informatikk (28. august 2013, kl. 13.00)
Matematiske eksperimenter (13. september 2013, kl. 12.00)
Tusenfryd-prosjektet og NetLogo-simuleringer (13. september 2013, kl. 16.15)
Matematiske eksperimenter og sjonglering (16. september 2013, kl. 15.00)
Åpen sone for eksperimentell informatikk (25. september 2013, kl. 9.45)
Eksperimenter og simuleringer i NetLogo (25. september 2013, kl. 15.15)
The Mathematics of Juggling (27. september 2013, kl. 12.00)
Ideer og kreativitet (27. september 2013, kl. 19.00)
Inspiration (8. oktober 2013, kl. 18.30)
Kåseri om matematikk og programmering (9. oktober 2013, kl. 19.00)
Fibonacci-tallene i naturen (16. oktober 2013, kl. 10.45)
Innovation Makerspace: Ellevill eksperimentering! (17. oktober 2013, kl. 14.00)
Maker Faire Oslo kick-off (17. oktober 2013, kl. 21.30)
Matematiske mysterier / Matematikkens magi (23. oktober 2013, kl. 10.20)
The Making of Science Communication (25. oktober 2013)
Koding for alle (29. oktober 2013, kl. 12.15)
Programmering og matematikk: Lær Kidsa Koding (31. oktober 2013, kl. 10.15)
Åpen sone for eksperimentell informatikk (31. oktober 2013, kl. 11.15)
Sjonglering, kunst og matematikk (2. november 2013, kl. 15.30)
Møt Maker Faire Oslo (4. november 2013, kl. 16.15)
Matematiske eksperimenter (12. november 2013)
Perspektiver på informatikk og programmering (15. november 2013, kl. 9.50)
Lær deg å programmere med Processing! (15. november 2013, kl. 12.30)
Lynforedrag om programmering og matematikk (15. november 2013, kl. 18.30)
Pub med professor: Matematiske eksperimenter (21. november 2013, kl. 18.04)
Formidling 2.0 (22. november 2013, kl. 15.30)
Når matte er mer enn tall: Introduksjon til vitenskapelig matematisk tankegang (27. november 2013, kl. 12.30)
Matematisk undring og eksperimentell informatikk (27. november 2013, kl. 14.55)
Inspirasjonsforedrag om matematikk og programmering (30. november 2013, kl. 10.00)
Litt om informatikk og matematikk (4. desember 2013, kl. 19.00)
Fibonacci-tallene (6. desember 2013, kl. 10.45)
Programmering som et verktøy for matematisk forståelse (11. desember 2013, kl. 10.45)
Matematikkshow (13. desember 2013, kl. 23.00)
Deterministisk kaos og cellulære automater (14. februar 2014, kl. 12.15)
Matematiske eksperimenter: En rekke eksempler på annerledes og rar matematikk (13. mars 2014, kl. 19.00)
Matematikk og programmering: Hvordan øke den matematiske forståelsen ved hjelp av programmering (14. mars 2014, kl. 13.30)
Making the Future (15. mars 2014, kl. 16.00)
Matematiske eksperimenter (20. mars 2014, kl. 11.20)
Matematiske eksperimenter (28. mars 2014, kl. 16.15)
Arduino FTW (29. mars 2014)
Populærvitenskapelig foredrag (2. april 2014, kl. 17.15)
Matematikkshow for Konkurransen Unge Forskere (11. april 2014, kl. 15.00)
Conways Game of Life (18. april 2014, kl. 13.15)
Matematiske eksperimenter: Eksempler på annerledes matematikk (28. april 2014, kl. 12.00)
Alternativ formidling av matematikk og informatikk (28. april 2014, kl. 13.00)
Hvorfor er kodekunnskap livsviktig? (7. mai 2014, kl. 11.30)
Lær Kidsa Koding og Kodeklubben (7. mai 2014, kl. 14.15)
Making for Science Communication (13. mai 2014, kl. 14.30)
Maker Communities around the World (13. mai 2014, kl. 16.45)
Pitch your Prototype (16. mai 2014)
Kodeglede og læringsglede (21. mai 2014, kl. 17.30)
Abelprisforedrag (22. mai 2014)
Logiske metoder (4. september 2014, kl. 10.15)
Inspirasjonsshow på Ungforsk 2014 (23. september 2014)
Inspirasjonsshow på Ungforsk 2014 (24. september 2014)
30 matematiske mysterier på 30 minutter (26. september 2014, kl. 19.00)
Offisiell åpning av HiØ Makerspace (8. oktober 2014, kl. 16.30)
Logiske metoder (30. oktober 2014, kl. 9.15)
Åpen sone for eksperimentell informatikk (30. oktober 2014, kl. 11.15)
Matematiske eksperimenter (31. oktober 2014, kl. 9.00)
Current issues and projects in the Maker movement (2. november 2014, kl. 11.00)
Matematiske eksperimenter (3. november 2014)
Polyas metode og matematikkforståelse (5. november 2014, kl. 13.00)
Arduino for lærere (7. november 2014, kl. 10.00)
Minikurs om Processing (21. november 2014, kl. 13.00)
Koding, forståelse og matematikk (21. november 2014, kl. 16.30)
Logiske metoder (26. november 2014, kl. 14.00)
Turings betydning for datavitenskapen (11. desember 2014, kl. 16.30)
Matematiske mysterier (7. januar 2015, kl. 13.30)
Matematiske eksperimenter (12. januar 2015)
Metaphors, Mathematics, and the Imagination (29. januar 2015, kl. 14.00)
Tilfeldigheter og store tall (31. januar 2015, kl. 14.00)
Makerspace og DIY-kultur for teknologi og forskningslære (4. februar 2015, kl. 14.30)
Pub med Professor: Mønstre og metaforer i matematikk og programmering (5. februar 2015, kl. 18.59)
3D Printing and the Imagination (16. februar 2015, kl. 8.30)
Matematikkshow: Eksperimentering med regler (11. mars 2015)
Matematikkshow: Eksperimentering med regler (12. mars 2015)
Informatikk og programmering (16. mars 2015, kl. 8.30)
Programmering, matematikk og filosofi (19. mars 2015, kl. 9.00)
Workshop i Processing (19. mars 2015, kl. 13.00)
Innlegg på LKK Teachmeet (19. mars 2015, kl. 18.00)
Matematiske eksperimenter (23. mars 2015, kl. 14.00)
Abstraksjon (25. mars 2015, kl. 11.30)
Workshop i Processing (25. mars 2015, kl. 13.00)
Matematiske eksperimenter (16. april 2015, kl. 13.05)
Matematiske eksperimenter (20. april 2015, kl. 14.30)
Matematiske eksperimenter (31. mai 2015, kl. 13.00)
Musikk, matematikk og annen moro (5. juni 2015, kl. 19.15)
Åpning av Teknoteket Makerspace (18. juni 2015, kl. 12.20)
Matematikkens fascinerende verden (18. august 2015, kl. 8.15)
Finale i Mattemaraton (20. august 2015, kl. 11.00)
Inspirasjonsforedrag: Matematiske eksperimenter (21. august 2015, kl. 14.00)
Matematiske eksperimenter (24. august 2015, kl. 8.20)
Algoritmene som styrer våre liv (26. august 2015, kl. 10.55)
Matematikkshow (1. september 2015, kl. 8.50)
Matematisk-filosofisk lek gjennom studietiden (2. september 2015, kl. 16.15)
Another Point of View: Science and Art (24. september 2015, kl. 15.30)
Vitenskapsformidling, makerbevegelsen og matematikk (24. september 2015, kl. 9.00)
Realfag og forståelse (24. september 2015, kl. 10.00)
Paneldiskusjon: How to Make a Makerspace (15. oktober 2015, kl. 9.00)
Rekreasjonell matematikk (16. oktober 2015)
What is mathematics really about? (19. oktober 2015, kl. 13.00)
Kreativ programmering: simuleringer og fysikk (27. oktober 2015, kl. 14.30)
Skaperbevegelsen møter skolen (28. oktober 2015, kl. 13.30)
Matematikk og filosofi: Noen utvalgte temaer (29. oktober 2015, kl. 12.15)
Matematiske eksperimenter (2. november 2015, kl. 9.30)
Motiverende og rekreasjonell matematikk (4. november 2015, kl. 14.15)
Matematisk Moro (26. januar 2016)
Matematikkens magiske mønstre (1. mars 2016, kl. 18.05)
Rekreasjonell og kreativ matematikk (8. mars 2016, kl. 18.00)
Skaperbevegelsen møter skolen (11. mars 2016, kl. 9.00)
Å skape forståelse (11. mars 2016, kl. 12.45)
Matematikkshow: matematikk og musikk (15. mars 2016)
Matematiske gleder (15. mars 2016, kl. 18.00)
Matematikkshow: matematikk og musikk (16. mars 2016)
Matematiske gleder (17. mars 2016, kl. 12.00)
Matematikkens magiske mønstre (7. april 2016)
Programmering for matematikk (11. april 2016, kl. 10.00)
Matematikkens magiske mønstre (12. april 2016)
Matematiske gleder og magiske mønstre (13. april 2016, kl. 18.00)
Forståelse og perspektiver (14. april 2016)
Making Juggling Patterns (20. mai 2016)
Kreativitet og forståelse i matematikk (9. juni 2016, kl. 9.15)
Kreativ og konkret matematikk (16. august 2016, kl. 9.30)
Forståelse og perspektiver i matematikk (18. august 2016, kl. 12.00)
Kreativ programmering (26. august 2016, kl. 9.15)
Magiske mønstre (1. september 2016)
Another Point of View: Science and Art (15. september 2016, kl. 16.10)
Magiske mønstre i matematikk og informatikk (27. september 2016)
Perspektiver på matematisk forståelse (28. september 2016, kl. 8.45)
Visualisering og eksperimentering i matematikk (6. oktober 2016, kl. 17.15)
Matematikkens rolle i markedsføring (12. oktober 2016, kl. 12.50)
Matematikk for moro skyld: Resultater og nyheter fra rekreasjonell matematikk (12. oktober 2016, kl. 19.00)
Koding i matematikkundervisning: Workshop i Processing for realfag (7. november 2016, kl. 11.00)
Kreativ programmering (7. november 2016, kl. 14.55)
Magiske mønstre: Mer moro med matematikk (9. november 2016, kl. 19.00)
Kreativ programmering (10. november 2016, kl. 15.45)
Litt om uendelighet (16. november 2016, kl. 19.15)
Magiske mønstre (20. november 2016, kl. 13.00)
Matematiske opplevelser (30. november 2016)
Moro med matematikk (6. desember 2016, kl. 10.00)
Hva er matematikk? (7. desember 2016, kl. 11.15)
Kreativ programmering (6. februar 2017, kl. 16.00)
Kreativ programmering (10. februar 2017, kl. 9.45)
Mønstre, sjonglering & programmering (11. februar 2017, kl. 11.00)
Fra det enkle til det komplekse: algoritmer og emergens (15. februar 2017, kl. 12.00)
Rekreasjonell matematikk i informatikk og realfag (16. februar 2017, kl. 14.15)
En reise gjennom mønstre (16. februar 2017, kl. 20.00)
Micro:bit Hackathon (25. februar 2017, kl. 10.30)
Samtale om matematikk (9. mars 2017, kl. 17.00)
Formidling, forståelse og motivasjon i matematikkfaget (13. mars 2017, kl. 13.00)
Kræsjkurs i algoritmer (15. mars 2017, kl. 9.25)
Mønstre, matematikk og programmering (20. mars 2017, kl. 13.30)
Matematikkmoro (21. mars 2017, kl. 15.30)
Kreativ programmering (25. mars 2017, kl. 16.00)
Kreativ programmering med Processing (29. mars 2017, kl. 16.15)
Matematiske opplevelser og hvordan vi bruker språk til å formidle matematikk (25. april 2017, kl. 14.00)
Making Juggling Patterns (20. mai 2017)
Metaphors, Perspectives, and Thinking Differently (5. juni 2017)
Mathematical Explorations and Visualizations with Processing (7. august 2017)
Metaphors, Mathematics, and Understanding (13. september 2017)
Mathematical Explorations and Visualizations with Code (4. oktober 2017, kl. 16.00)
Mathematical Explorations and Visualizations with Code (21. oktober 2017, kl. 15.30)
Making Juggling Patterns (22. oktober 2017)
Creative Coding with Processing (22. oktober 2017)
Math, Art, Play (7. november 2017)
Skaping og tenking (9. november 2017, kl. 12.00)
Mønstre (13. november 2017, kl. 8.30)
Kunsten å tenke abstrakt og matematisk (16. november 2017, kl. 16.30)
Mønstre, sjonglering og kreativ programmering (18. november 2017, kl. 12.00)
Magiske mønstre (19. november 2017)
Metaforer, modeller og motivasjon (24. november 2017, kl. 9.00)
Programmering og matematikk (24. november 2017, kl. 10.10)
Kræsjkurs i uendeligheter (24. november 2017, kl. 12.00)
20 Mathematical Mysteries in 20 Minutes (17. januar 2018, kl. 20.00)
About Simplicity and Complexity (3. februar 2018, kl. 15.30)
From Simplicity to Complexity: What Happens Next? (7. mars 2018)
Fra kreativ programmering til matematisk forståelse (19. april 2018, kl. 10.20)
Modeller og eksperimentering (20. april 2018, kl. 13.00)
Spør en smarting (26. april 2018, kl. 19.00)
Models We Live By (5. mai 2018, kl. 12.00)
Fra enkle algoritmer til matematiske mysterier (15. mai 2018, kl. 17.30)
Magiske mønstre (27. mai 2018)
Kræsjkurs i algoritmer (30. mai 2018, kl. 11.30)
Programmering på 1-2-3 (30. mai 2018, kl. 12.45)
Card Shuffling Visualizations (26. juli 2018, kl. 17.00)
Programmeringseksperimenter (22. august 2018, kl. 18.10)
Eksperimentering i matematikk (23. august 2018, kl. 11.00)
Algoritmer (20. september 2018, kl. 9.00)
Kunsten å forstå (20. september 2018, kl. 15.00)
Enigma – koding og beregninger (24. september 2018, kl. 18.30)
Enigma – koding og beregninger (25. september 2018, kl. 9.00)
Show: Mønsterglede (26. september 2018)
Show: Mønsterglede (27. september 2018)
Kreativ programmering for matematikk (1. november 2018)
Kreativ programmering og sjonglering (18. november 2018)
Matematisk utforsking og visualisering med kode (19. november 2018, kl. 10.15)
Human Cognition and the AI Revolution (6. desember 2018, kl. 19.00)
The Network Paradox (12. januar 2019, kl. 15.00)
Perspektiver, matematikk og metaforer (16. januar 2019, kl. 9.00)
Quantopia: The evolution of the Internet (25. januar 2019, kl. 19.30)
Net, Web, Cloud, Fog: Paneldiskusjon (26. januar 2019, kl. 16.00)
Kreativ programmering for matematikk (31. januar 2019, kl. 16.30)
Matematisk kunst på 10 minutter (14. februar 2019)
Metaforer, matematikk og forestillingsevne (26. februar 2019, kl. 19.00)
Kunst i matematikk og naturvitenskap (7. mars 2019, kl. 13.00)
Hvordan gjøre matematikk spennende og forståelig (12. mars 2019, kl. 16.15)
Algoritmisk kunst og visualisering av matematikk (19. mars 2019, kl. 16.15)
Kreativ programmering (20. mars 2019, kl. 11.00)
The Network Paradox og Quantopia (26. mars 2019, kl. 12.30)
The Network Paradox og Quantopia (26. mars 2019, kl. 19.00)
BBC CrowdScience (3. april 2019, kl. 11.00)
Vetandets Värld Sveriges Radio P1 (3. april 2019, kl. 12.00)
Moro med programmering (11. april 2019, kl. 12.00)
Kunst, kreativitet og programmering (11. april 2019, kl. 18.00)
Kreativ og kunstnerisk med kode (25. april 2019)
The Strangeness of Infinity: From Cantor to Conway (4. juni 2019)
Local Editions: A Celebration of Bay Area Printmaking (21. juni 2019, kl. 19.00)
20 Math Art Experiments in 20 Minutes (25. juni 2019, kl. 19.30)
The Beautiful World of Algorithmic Art and Mathematical Visualizations (26. august 2019, kl. 19.30)
Kreativitet, perspektivskifte, programmering og kunst i matematikk (19. februar 2020, kl. 16.30)
Logiske nøtter (26. februar 2020, kl. 16.15)
Programmering og kreativitet (5. mars 2020, kl. 10.20)
Om digital undervisning (13. august 2020)
Å utforske naturfaglige fenomen med programmering (13. oktober 2020, kl. 14.20)
What is mathematics, and why is the imagination an important part of mathematical thinking? (28. november 2020)
Fra matematiske visualisering til algoritmisk kunst (10. mars 2021)
Matematikkshow (17. mars 2021)
The Magical Patterns of Mathematics (5. mai 2021)
Å kombinere matematikk, kunst og formidling (11. mai 2021, kl. 15.00)
Cerebro Matemático – Mathematical Brain Panel Discussion (21. juni 2021)
The Playful Path to (Mathematical) Understanding (19. juni 2021)
Visualizing Mathematical Structures with Processing (19. juli 2021)
Matematiske visualiseringer: fra tallteori, grafteori og algebra til keltiske knuter og matematisk kunst! (27. oktober 2021, kl. 16.15)
Pub with Professor: 60 idèer på 60 minutter (9. mars 2023, kl. 18.04)
Algoritmer, mønstre og matematisk kunst (4. september 2023, kl. 14.15)
Undervisning
Forskning
Publications
Free Variable Sequent Calculi
A Free Variable Sequent Calculus with Uniform Variable Splitting
Uniform Variable Splitting
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic
Liberalized Variable Splitting
A Labelled System for IPL with Variable Splitting
Incremental Closure of Variable Splitting Tableaux
The Method of Variable Splitting
Incremental Variable Splitting
Book Review: Jan von Plato, Elements of Logical Reasoning
Card Shuffling Visualizations
Human cognition and the AI revolution
Categorizing Celtic Knot Designs
Kunst
Fifteen Blue Circles (28. april 2016)
Celebratory Rotating Trisectrix from 12 Circles (26. november 2016)
90 Rotating Equilateral Triangles (30. november 2016)
Another 90 Rotating Equilateral Triangles (4. desember 2016)
Limaçon trisectrix thing with 24 points (10. januar 2017)
89 Pointy Dragon Triangles Circling Around. (15. januar 2017)
Asemic Love Letter Experiment (14. februar 2017)
Pinna (2002) illusion with triangles (15. mai 2017)
Pinna (2002) illusion with colors (15. mai 2017)
Hairy Spiral Thing (19. juli 2017)
When in doubt, parameterize (19. juli 2017)
Rolling Shutter Handoff Symmetry Thing (24. juli 2017)
Another way to draw a ❤ (24. juli 2017)
Five Octahedra (25. juli 2017)
Pyritohedra. Plural of pyritohedron. (26. juli 2017)
Yellow cube! No, orange dodecahedron! (26. juli 2017)
MOVES 2017 (8. august 2017)
Seks perfekte inn-stokkinger med 125 kort og fem bunker (24. juli 2018)
Åtte måter å stokke sekstifire kort på (25. juli 2018)
Network Art (27. desember 2018)
The Network Paradox (12. januar 2019)
Quantopia (25. januar 2019)
Testing, testing! Round and around. (21. juni 2019)
Around and around! (25. juni 2019)
Elliptical Pinballs! (2. juli 2019)
Visualizing Card Shuffling and Permutations in 3D (30. september 2020)
Randomized Circle Packing (1. oktober 2020)
Hilbert Curves (30. november 2020)
Wooden Hilbert Curves (30. november 2020)
Hilbert Tiles (30. november 2020)
Mirror Hilbert Labyrinth (30. november 2020)
Celtic Paper Hilbert Curve (29. november 2020)
Presse
En logisk datadoktor (8. oktober 2008)
Intervju om UiO-festivalen, med Morten Dæhlen (14. september 2011)
Om formidling (15. september 2011)
Smarte sjongleringsballer (15. september 2011)
Forfører ungdom med smarte sjongleringsballer (11. oktober 2011)
Doktor med selvlysende baller (13. oktober 2011)
Lokker med lysende idé (29. oktober 2011)
The Gathering 2012 (1. mars 2012)
Sjonglerer for realfag (28. mai 2012)
Matematikkshow med smarte sjongleringsballer (19. oktober 2012)
Talltriks og balltriks (12. februar 2013)
Kuben fra 80-tallet er tilbake (16. mars 2013)
Forskning ved MN-fakultetet (18. mars 2013)
Oslo Mini Maker Faire (22. mars 2013)
Oslo Mini Maker Faire 2013 (6. april 2013)
UiO-festivalen (16. april 2013)
Oslo Mini Maker Faire 2013 (25. april 2013)
(Vitenskapelig) matematisk tankegang (8. juni 2013)
Vant pris på 100.000 (10. juni 2013)
En karriere blant studentene (13. juni 2013)
4d-printing (17. juni 2013, kl. 11.03)
UiO inntar Tusenfryd (17. juli 2013)
Aktiv formidling på Tusenfryd! (17. juli 2013)
Forskere i Tusenfryd (23. juli 2013)
Lokker ungdommer på Tusenfryd (24. juli 2013)
Forskere måler G-krefter på Tusenfryd (24. juli 2013)
Slik er det å kjøre Thundercoaster (24. juli 2013)
Spennende dager med UiO: Opplevelser (25. juli 2013)
Dette skjer med kroppen din når du er vektløs (5. august 2013)
Ilende, kilende magesug (20. august 2013)
Dask en banan (22. august 2013)
I kveld med Ylvis (12. september 2013)
3D-printing (22. september 2013)
Kto wystąpi na TEDxKraków: Roger Antonsen (17. oktober 2013)
Matematiske mysterier / Matematikkens magi (23. oktober 2013, kl. 10.20)
Taniec, roboty i jedzenie: TEDx Kraków 2013 (26. oktober 2013)
Hva vil du lære? (30. oktober 2013)
Matematisk-naturvitenskapelige fag (11. november 2013)
Lær kidsa koding: NDC Kodeklubben (20. november 2013)
Matematikk er kunst og glede (20. desember 2013)
Matematikk og forståelse (23. desember 2013)
Maker Faire Oslo 2014 (17. januar 2014)
Her er landets mest kreative hoder / Maker Faire Oslo 2014 (18. januar 2014)
Maker Faire Oslo 2014 (18. januar 2014)
Maker Faire Oslo 2014 (18. januar 2014)
2014: Year of the Maker & Maker of the Year (20. januar 2014)
Maker Faire Oslo: Snowy Start for Makers in 2014 (21. januar 2014)
CuttingEdge MakerSpace (24. januar 2014)
SENT på Norsk Teknisk Museum 2014 (21. mars 2014)
Smart Juggling Balls wins Pitch for Prototypes Competition (16. mai 2014)
Juggling with Light (17. mai 2014)
Feirer Abel-prisen med matematikk (22. mai 2014)
Programmering inn som fag i skolen? (14. juni 2014)
Formidling og nerding med ting og tang (24. august 2014)
Regning er bare en brøkdel (5. september 2014)
Maker Faire Oslo 2014 (21. oktober 2014)
Wrapping Up a Funky, Fresh First Nordic MakerCon (23. oktober 2014)
Vilt, vakkert og abstrakt (4. november 2014)
Abels tårn: Alan Turing-spesial (2. januar 2015)
Abels tårn (9. januar 2015)
Kløkt og klokskap i tidens ånd (4. februar 2015)
How Norway Makers Scored $430K for 10 New Makerspaces (14. februar 2015)
Abels tårn (10. april 2015)
Abels tårn (24. april 2015, kl. 10.03)
Kunnskapsministeren bekymret: Flere stryker i matte (27. august 2015)
Intervju om matematikk i Norge (27. august 2015)
Giant multicopter drone that could lift weight of a human adult flies into record books (15. januar 2016)
Å være negativ til matematikk er et kulturelt problem (7. mars 2016)
Skaper fortellinger av matematikk (8. mars 2016)
De som vekket nysgjerrigheten (27. mai 2016)
39 til finalen som beste foreleser (27. mai 2016)
Også norske barn bør få lære programmering (8. juni 2016)
Magiske mønstre (11. juni 2016)
Størst av alt er uendeligheten (11. november 2016)
Dikt ved jordas undergang (24. mars 2017)
Kaffe med Roger (30. mars 2017)
Uendeligheter på Ekko og Abels Tårn (31. mars 2017)
Intelligent spionrobot kan skjule seg i Oslo sentrum (aprilsnarr) (1. april 2017)
Roger Antonsen er Årets foreleser (20. oktober 2017)
Engasjement og hjertelig tilstedeværelse (22. oktober 2017)
Sjakk-VM i London (22. november 2018)
Math Adventures with Python (1. januar 2019)
DJ Spooky Traces the Internet’s Evolution in Quantopia (11. januar 2019)
Greg Niemeyer and Roger Antonsen @ Catharine Clark (25. januar 2019)
Greg Niemeyer og Roger Antonsen (9. februar 2019)
Reflections on the birth of QUANTOPIA, a New Work of Art (22. februar 2019)
Roger Antonsen and Greg Niemeyer's Network Paradox in Oslo (7. mars 2019)
Tabels Årn (10. mai 2019, kl. 10.03)
Matematisk kunst (21. mai 2019)
Bridges Stockholm 2018 (29. juni 2019)
Start the presses: Palo Alto Art Center celebrates a 'summer of printmaking' with 'Local Editions' (2. juli 2019)
148 lærere til matematikforedrag (18. februar 2020)
Training on the couch (22. mars 2020)
ICERM Illustrating Mathematics (21. april 2020)
Mathematical Makers’ Manifesto (1. mai 2020)
Matteprat med Roger og Andreas (24. juni 2020)
make Modern Issue 50 (12. januar 2023)
Blogg
Universitetet i Oslo er på The Gathering (2. april 2013)
Matematikk og forståelse (20. desember 2013)
Matematikkens magiske mønstre (6. mars 2016)
Gratulerer med π-dagen! (14. mars 2016)
Visste du at du kan høre tall? (22. april 2016)
Sjonglering og matematikk (2. mai 2016)
Trodde du Rubiks kube var gått av moten? (12. mai 2016)
Fredag den trettende er mer sannsynlig enn noen annen ukedag (13. mai 2016)
Hvor mange trekk trengs for å løse Rubiks kube? (30. mai 2016)
Fikspunktfascinasjon (7. juni 2016)
Hjerte for micro:bit og Processing (10. mars 2017)
En visuell «quine» for Processing (12. mai 2018)
Debug
Feil
Hjemmeside
index
privat
search