Roger Antonsen

  • Home
  • About
  • Books
  • Talks
  • Teaching
  • Research
  • Art
  • Press
  • Blog
Search CMD-K
Dark Mode Light Mode CTRL-D
Font CTRL-X
Language CTRL-E/N
Norwegian
English
Random page CTRL-Z

Search

Roger Antonsen
About
Books
Logical Methods
Illustrating Mathematics
Study book for Logical Methods (in Norwegian)
Logical Methods: The Art of Thinking Abstractly and Mathematically
Talks
Introduction To Intuitionistic Logic (February 8, 2001)
Why is Modal Logic so Robustly Decidable? (March 11, 2002)
Cut Elimination (May 3, 2002)
Completeness of Modal Logic with Distributed Knowledge (September 2, 2002)
Sequent Calculus with Free Variables and Skolemization (January 13, 2003)
Free Variable Sequent Calculi (January 13, 2003)
A Free Variable Calculus with Variable Splitting (June 5, 2003)
A Free Variable Sequent Calculus with Uniform Variable Splitting (September 11, 2003)
Proof Search and Free Variable Sequent Calculi (September 26, 2003)
Drawing Trees (December 12, 2003)
Modal Logic - Introduction (February 16, 2004)
Uniform Variable Splitting (July 4, 2004)
Final Model Property and Filtrations in Modal Logic (September 27, 2004)
Introduction to Lattice and Order (October 25, 2004)
Delta Rules, Skolemization, and Soundness (March 7, 2005)
Logic, Paradoxes, and Thinking Machines (March 8, 2005)
Delta Rules, Skolemization, and Soundness (April 11, 2005)
Run-time Skolemization, and Variable Splitting (April 14, 2005)
Uniform Variable Splitting (June 9, 2005)
Consistency of Variable Splitting in the Free Variable Systems of First-Order Logic (September 16, 2005)
Variable Splitting: Consistency and Complexity (January 31, 2006)
Variable Splitting: Consistency and Complexity (February 2, 2006)
Logic and Games (March 9, 2006)
Variable Splitting: Consistency and Complexity (March 28, 2006)
Playing with the Infinite (September 26, 2006)
The Theory of Liberalized Variable Splitting (January 17, 2007)
A Labelled System for IPL with Variable Splitting (July 17, 2007)
Automated Reasoning (November 7, 2007)
Variable Splitting for Automated Reasoning (January 18, 2008 at 10:15 AM)
The Method of Variable Splitting (August 9, 2008 at 3:15 PM)
Informatics in Roterommet (March 5, 2009 at 10:30 AM)
Juggling! An Entertaining Ball Juggling Talk (April 10, 2009 at 3:45 PM)
Robot Swarms, Simulations, and Chaos (April 11, 2009 at 5:00 PM)
Siteswaps, Patterns, and Orbits - Playing with Juggling Systems (April 11, 2009 at 6:30 PM)
Science and Juggling (April 30, 2009 at 4:15 PM)
RETE (October 29, 2009 at 2:15 PM)
Simulations, Chaos, and Sex (April 2, 2010 at 2:00 PM)
Notation Systems: Juggling and Science (September 21, 2010 at 11:30 AM)
Virus, Flocks, Chaos, and Simulations (September 21, 2010 at 2:30 PM)
The Confessions of an ex SLI student (September 21, 2010 at 4:15 PM)
From Nothing to Everywhere: The History of Computer Science (January 19, 2011 at 11:30 AM)
From Nothing to Everywhere: The History of Computer Science (February 10, 2011 at 11:40 AM)
Editor Course: Emacs/Vim (March 9, 2011 at 4:00 PM)
The history of Computer Science, and Smart Juggling Balls (September 7, 2011 at 8:30 AM)
Presentation of Open Zone for Experimental Informatics (September 11, 2011)
Smart Juggling Balls with Visual Reinforcement (September 17, 2011)
From Nothing to Everywhere (September 22, 2011 at 5:00 PM)
Mathematics, Programming, and Juggling (October 5, 2011 at 9:00 AM)
Juggling and Computations (November 3, 2011 at 4:15 PM)
The World of Computer Science, part II (November 8, 2011 at 4:15 PM)
Mathematics, Programming, and Juggling (November 16, 2011 at 11:30 AM)
Closing Show (November 16, 2011 at 3:50 PM)
Mathematics and Computer Science Show (November 22, 2011 at 1:45 PM)
Mathematics, Programming, and Juggling (January 25, 2012 at 1:15 PM)
Computer Science Show (March 8, 2012)
Inspiring Juggling Balls (April 7, 2012 at 6:15 PM)
Mathematics, Programming, and Juggling (April 26, 2012 at 1:30 PM)
Intelligent Juggling Balls with Visual Amplification (April 30, 2012 at 12:00 PM)
Arduino Workshop (May 5, 2012 at 12:00 PM)
Motivation, Mastery, and Mathematics (May 10, 2012 at 1:15 PM)
Science Communication Show (September 20, 2012 at 10:00 AM)
Alternative Communication of Mathematics and Computer Science (September 22, 2012 at 1:00 PM)
Science, Programming, and Mathematics (September 25, 2012)
Science, Programming, and Mathematics (September 26, 2012)
Lecture For Elvebakken School (October 11, 2012 at 10:20 AM)
Mathematics, Juggling, and Programming (October 13, 2012 at 3:00 PM)
Editor Course: Emacs (October 24, 2012 at 4:15 PM)
Outreach (October 25, 2012 at 2:00 PM)
Science, Programming, and Mathematics (November 1, 2012 at 2:15 PM)
Experimental Mathematics (November 8, 2012 at 4:15 PM)
What is the Open Zone for Experimental Informatics? (November 19, 2012 at 11:30 AM)
Experimentation and Alternative Mathematics (November 23, 2012 at 10:30 AM)
Opening Show for Energy Tivoli (December 4, 2012 at 11:00 AM)
Programming (January 24, 2013 at 11:00 AM)
Mathematics, Programming, and Juggling (February 7, 2013 at 12:00 PM)
Mathematics, Programming, and Juggling (February 7, 2013 at 8:25 PM)
Strange Robots, Smart Clothes, and Mysterious Music Machines: Be an Inventor with Arduino! (March 14, 2013 at 12:00 PM)
Be an Inventor with Arduino! (March 28, 2013 at 1:00 PM)
The Beauty and Joy of Computer Science (March 29, 2013 at 5:15 PM)
Arduino: Inventions and Experiments (April 6, 2013)
Mathematics is more than you think (April 8, 2013 at 11:50 AM)
Dissemination of Mathematics and Computer Science (April 10, 2013 at 1:00 PM)
Arduino 101 (April 13, 2013 at 12:00 PM)
Experimental Science: Technologies for Learning and Understanding (April 20, 2013 at 4:45 PM)
Experimental Science (April 28, 2013 at 2:00 PM)
Introduction to programming in Processing and NetLogo (May 6, 2013 at 6:10 PM)
A Journey Through Patterns (May 22, 2013)
Communication of Mathematics and Computer Science (May 22, 2013 at 12:00 PM)
Smart Juggling Balls (May 26, 2013 at 12:30 PM)
Learn to Program with Processing (June 11, 2013 at 6:00 PM)
Experimental Computer Science: Technologies for Learning and Understanding (June 12, 2013 at 2:00 PM)
Mathematical Experiments (June 27, 2013 at 9:00 AM)
Programming in School: Are we ready for it? (August 12, 2013 at 9:00 AM)
Roller Coaster Computer Science (August 14, 2013 at 4:00 PM)
Experimentation: Technologies for Learning and Understanding (August 20, 2013 at 5:00 PM)
Open Zone for Experimental Informatics (August 28, 2013 at 1:00 PM)
Mathematical Experiments (September 13, 2013 at 12:00 PM)
The Tusenfryd Project and Netlogo Simulations (September 13, 2013 at 4:15 PM)
Mathematical Experiments and Juggling (September 16, 2013 at 3:00 PM)
Open Zone for Experimental Informatics (September 25, 2013 at 9:45 AM)
Experiments and Simulations in Netlogo (September 25, 2013 at 3:15 PM)
The Mathematics of Juggling (September 27, 2013 at 12:00 PM)
Ideas and Creativity (September 27, 2013 at 7:00 PM)
Inspiration (October 8, 2013 at 6:30 PM)
Talk on Mathematics and Programming (October 9, 2013 at 7:00 PM)
Fibonacci Numbers in Nature (October 16, 2013 at 10:45 AM)
Innovation Makerspace: Crazy Experimentation! (October 17, 2013 at 2:00 PM)
Maker Faire Oslo Kick-Off (October 17, 2013 at 9:30 PM)
Mathematical Mysteries / The Magic of Mathematics (October 23, 2013 at 10:20 AM)
The Making of Science Communication (October 25, 2013)
Coding for All (October 29, 2013 at 12:15 PM)
Programming and Mathematics: Teach Kids Coding (October 31, 2013 at 10:15 AM)
Open Zone for Experimental Informatics (October 31, 2013 at 11:15 AM)
Juggling, Art, and Mathematics (November 2, 2013 at 3:30 PM)
Meet Maker Faire Oslo (November 4, 2013 at 4:15 PM)
Mathematical Experiments (November 12, 2013)
Perspectives on Computational Science and Programming (November 15, 2013 at 9:50 AM)
Learn how to Program with Processing! (November 15, 2013 at 12:30 PM)
Lightning Talk on Programming and Mathematics (November 15, 2013 at 6:30 PM)
Pub with Professor: Mathematical Experiments (November 21, 2013 at 6:04 PM)
Science Communication 2.0 (November 22, 2013 at 3:30 PM)
When Math is more than Numbers: Introduction to Scientific Mathematical Thinking (November 27, 2013 at 12:30 PM)
Mathematical Wonderment and Experimental Computer Science (November 27, 2013 at 2:55 PM)
Inspirational talk on Mathematics and Programming (November 30, 2013 at 10:00 AM)
A Bit on Science and Mathematics (December 4, 2013 at 7:00 PM)
Fibonacci Numbers (December 6, 2013 at 10:45 AM)
Programming as a tool for Mathematical Understanding (December 11, 2013 at 10:45 AM)
Mathematics Show (December 13, 2013 at 8:00 PM)
Deterministic Chaos and Cellular Automata (February 14, 2014 at 12:15 PM)
Mathematical Experiments: A Number of examples of Different and Weird Mathematics (March 13, 2014 at 7:00 PM)
Mathematics and Programming: How to increase Mathematical Understanding through Programming (March 14, 2014 at 1:30 PM)
Making the Future (March 15, 2014 at 4:00 PM)
Mathematical Experiments (March 20, 2014 at 11:20 AM)
Mathematical Experiments (March 28, 2014 at 4:15 PM)
Arduino FTW (March 29, 2014)
Popular Science Talk (April 2, 2014 at 5:15 PM)
Mathematics Show for the competition Young Scientists (April 11, 2014 at 3:00 PM)
Conway's Game Of Life (April 18, 2014 at 1:15 PM)
Mathematical Experiments: Examples of Alternative Mathematics (April 28, 2014 at 12:00 PM)
Alternative Communication of Mathematics and Computer Science (April 28, 2014 at 1:00 PM)
Why is Programming Knowledge important? (May 7, 2014 at 11:30 AM)
Teach Kids Coding and the Code Club (May 7, 2014 at 2:15 PM)
Making for Science Communication (May 13, 2014 at 2:30 PM)
Maker Communities around the World (May 13, 2014 at 4:45 PM)
Pitch your Prototype (May 16, 2014)
The Joy of Programming and Learning (May 21, 2014 at 5:30 PM)
Abel Prize Talk (May 22, 2014)
Logical Methods (September 4, 2014 at 10:15 AM)
Inspiration Show at Young Research 2014 (September 23, 2014)
Inspiration Show at Young Research 2014 (September 24, 2014)
30 Mathematical Mysteries in 30 Minutes (September 26, 2014 at 7:00 PM)
Official Opening of HiØ Makerspace (October 8, 2014 at 4:30 PM)
Logical Methods (October 30, 2014 at 9:15 AM)
Open Zone for Experimental Informatics (October 30, 2014 at 11:15 AM)
Mathematical Experiments (October 31, 2014 at 9:00 AM)
Current Issues and Projects in the Maker Movement (November 2, 2014 at 11:00 AM)
Mathematical Experiments (November 3, 2014)
Polya's Method and Mathematical Understanding (November 5, 2014 at 1:00 PM)
Arduino for Teachers (November 7, 2014 at 10:00 AM)
Short Course on Processing (November 21, 2014 at 1:00 PM)
Coding, Understanding, and Mathematics (November 21, 2014 at 4:30 PM)
Logical Methods (November 26, 2014 at 2:00 PM)
Turing's significance for Data Science (December 11, 2014 at 4:30 PM)
Mathematical Mysteries (January 7, 2015 at 1:30 PM)
Mathematical Experiments (January 12, 2015)
Metaphors, Mathematics, and the Imagination (January 29, 2015 at 2:00 PM)
Randomness and Large Numbers (January 31, 2015 at 2:00 PM)
Maker Spaces and DIY Culture for Technology and Research classes (February 4, 2015 at 2:30 PM)
Patterns and Metaphors in Mathematics and Programming (February 5, 2015 at 6:59 PM)
3d Printing and the Imagination (February 16, 2015 at 8:30 AM)
Mathematics Show: Experimenting with Rules (March 11, 2015)
Mathematics Show: Experimenting with Rules (March 12, 2015)
Computer Science and Programming (March 16, 2015 at 8:30 AM)
Programming, Mathematics, and Philosophy (March 19, 2015 at 9:00 AM)
Workshop in Processing (March 19, 2015 at 1:00 PM)
Short talk on LKK Teachmeet (March 19, 2015 at 6:00 PM)
Mathematical Experiments (March 23, 2015 at 2:00 PM)
Abstraction (March 25, 2015 at 11:30 AM)
Workshop in Processing (March 25, 2015 at 1:00 PM)
Mathematical Experiments (April 16, 2015 at 1:05 PM)
Mathematical Experiments (April 20, 2015 at 2:30 PM)
Mathematical Experiments (May 31, 2015 at 1:00 PM)
Music, Mathematics, and other Fun (June 5, 2015 at 7:15 PM)
Opening of Teknoteket Makerspace (June 18, 2015 at 12:20 PM)
The Fascinating World of Mathematics (August 18, 2015 at 8:15 PM)
Mathematics Maraton Finale (August 20, 2015 at 11:00 AM)
Inspirational Talk: Mathematical Experiments (August 21, 2015 at 2:00 PM)
Mathematical experiments (August 24, 2015 at 8:20 PM)
The Algorithms that Govern Our Lives (August 26, 2015 at 10:55 AM)
Mathematics Show (September 1, 2015 at 8:50 AM)
Mathematical-Philosophical play through Studying (September 2, 2015 at 4:15 PM)
Another Point of View: Science and Art (September 24, 2015 at 3:30 PM)
Science Communication, Maker Movement, and Mathematics (September 24, 2015 at 9:00 AM)
Science and Understanding (September 24, 2015 at 10:00 AM)
Panel Discussion: How to Make a Maker Space (October 15, 2015 at 9:00 AM)
Recreational Mathematics (October 16, 2015)
What is mathematics really about? (October 19, 2015 at 1:00 PM)
Creative Programming: Simulations and Physics (October 27, 2015 at 2:30 PM)
The Maker Movement meets the School (October 28, 2015 at 1:30 PM)
Mathematics and Philosophy: Selected topics (October 29, 2015 at 12:15 PM)
Mathematical Experiments (November 2, 2015 at 9:30 AM)
Motivating and Recreational Mathematics (November 4, 2015 at 2:15 PM)
Mathematical Fun (January 26, 2016)
The Magical Patterns of Mathematics (March 1, 2016 at 6:05 PM)
Recreational and Creative Mathematics (March 8, 2016 at 6:00 PM)
The Maker Movement meets the School (March 11, 2016 at 9:00 AM)
Creating Understanding (March 11, 2016 at 12:45 PM)
Mathematics Show: Mathematics and Music (March 15, 2016)
Mathematical Pleasures (March 15, 2016 at 6:00 PM)
Mathematics Show: Mathematics and Music (March 16, 2016)
Mathematical Pleasures (March 17, 2016 at 12:00 PM)
The Magical Patterns of Mathematics (April 7, 2016)
Programming for Mathematics (April 11, 2016 at 10:00 AM)
The Magical Patterns of Mathematics (April 12, 2016)
Mathematical Pleasures and Magical Patterns (April 13, 2016 at 6:00 PM)
Understanding and Perspectives (April 14, 2016)
Making Juggling Patterns (May 20, 2016)
Creativity and Understanding in Mathematics (June 9, 2016 at 9:15 AM)
Creative and Concrete Mathematics (August 16, 2016 at 9:30 AM)
Understanding and Perspectives in Mathematics (August 18, 2016 at 12:00 PM)
Creative Programming (August 26, 2016 at 9:15 AM)
Magical Patterns (September 1, 2016)
Another Point of View: Science and Art (September 15, 2016 at 4:10 PM)
Magical Patterns in Mathematics and Computer Science (September 27, 2016)
Perspectives on Mathematical Understanding (September 28, 2016 at 8:45 AM)
Visualization and Experimentation in Mathematics (October 6, 2016 at 5:15 PM)
The Role of Mathematics in Marketing (October 12, 2016 at 12:50 PM)
Mathematics for Fun: Results and News from Recreational Mathematics (October 12, 2016 at 7:00 PM)
Coding for Mathematics Teaching: Workshop in Processing for the Sciences (November 7, 2016)
Creative Programming (November 7, 2016 at 2:55 PM)
Magical Patterns: More Fun with Mathematics (November 9, 2016 at 7:00 PM)
Creative Programming (November 10, 2016 at 3:45 PM)
A Bit about the Infinite (November 16, 2016 at 7:15 PM)
Magical Patterns (November 20, 2016 at 1:00 PM)
Mathematical Experiences (November 30, 2016)
Fun with Mathematics (December 6, 2016 at 10:00 AM)
What is Mathematics? (December 7, 2016 at 11:15 AM)
Creative Programming (February 6, 2017 at 4:00 PM)
Creative Programming (February 10, 2017 at 9:45 AM)
Patterns, Juggling & Programmering (February 10, 2017 at 11:00 AM)
From the Simple to the Complex: Algorithms and Emergence (February 15, 2017 at 12:00 PM)
Recreational Mathematics in Computer Science and Natural Science (February 16, 2017 at 2:15 PM)
A Journey Through Patterns (February 16, 2017 at 8:00 PM)
Micro:bit Hackathon (February 25, 2017 at 10:30 AM)
Conversation about mathematics (March 9, 2017 at 7:00 PM)
Science Communication, Understanding, and Motivation in Mathematics (March 13, 2017 at 1:00 PM)
Crash course in Algorithms (March 15, 2017 at 9:25 AM)
Patterns, Mathematics, and Programming (March 20, 2017 at 1:30 PM)
Mathematics Fun (March 21, 2017 at 3:30 PM)
Creative Programming (March 25, 2017 at 4:00 PM)
Creative Programming with Processing (March 29, 2017 at 4:15 PM)
Mathematical experiences and how we use language to communicate mathematics (April 25, 2017 at 2:00 PM)
Making Juggling Patterns (May 20, 2017)
Metaphors, Perspectives, and Thinking Differently (June 5, 2017)
Mathematical Explorations and Visualizations with Processing (August 7, 2017)
Metaphors, Mathematics, and Understanding (September 13, 2017)
Mathematical Explorations and Visualizations with Code (October 4, 2017 at 4:00 PM)
Mathematical Explorations and Visualizations with Code (October 21, 2017 at 3:30 PM)
Making Juggling Patterns (October 22, 2017)
Creative Coding with Processing (October 22, 2017)
Math, Art, Play (November 7, 2017)
Making and Thinking (November 9, 2017 at 12:00 PM)
Patterns (November 13, 2017 at 8:30 AM)
The art of thinking abstractly and mathematically (November 16, 2017 at 4:30 PM)
Patterns, Juggling, and Creative Programming (November 18, 2017 at 12:00 PM)
Magical Patterns (November 19, 2017)
Metaphors, Models and Motivation (November 24, 2017 at 9:00 AM)
Programming and Mathematics (November 24, 2017 at 10:10 AM)
Crash Course in Infinities (November 24, 2017 at 12:00 PM)
20 Mathematical Mysteries in 20 Minutes (January 17, 2018 at 8:00 PM)
About Simplicity and Complexity (February 3, 2018 at 3:30 PM)
From Simplicity to Complexity: What Happens Next? (March 7, 2018)
From Creative Programming to Mathematical Understanding (April 19, 2018 at 10:20 AM)
Models and Experimentation (April 20, 2018 at 1:00 PM)
Ask a Professor (April 26, 2018 at 7:00 PM)
Models We Live By (May 5, 2018 at 12:00 PM)
From Simple Algorithms to Mathematical Mysteries (May 15, 2018 at 5:30 PM)
Magical Patterns (May 27, 2018)
Crash Course in Algorithms (May 30, 2018 at 11:30 AM)
Programming in 1-2-3 (May 30, 2018 at 12:45 PM)
Card Shuffling Visualizations (July 26, 2018 at 5:00 PM)
Programming Experiments (August 22, 2018 at 6:10 PM)
Experimenting in Mathematics (August 23, 2018 at 11:00 AM)
Algorithms (September 20, 2018 at 9:00 AM)
The Art of Understanding (September 20, 2018 at 3:00 PM)
Enigma – Coding and Computations (September 24, 2018 at 6:30 PM)
Enigma – Coding and Computations (September 25, 2018 at 9:00 AM)
Show: Joy of Patterns (September 26, 2018)
Show: Joy of Patterns (September 27, 2018)
Creative programming for mathematics (November 1, 2018)
Creativ Programming and Juggling (November 18, 2018)
Mathematical Explorations and Visualizations with Code (November 19, 2018 at 10:15 AM)
Human Cognition and the AI Revolution (December 6, 2018 at 7:00 PM)
The Network Paradox (January 12, 2019 at 3:00 PM)
Perspectives, Mathematics, and Metaphors (January 16, 2019 at 9:00 AM)
Quantopia: The evolution of the Internet (January 25, 2019 at 7:30 PM)
Net, Web, Cloud, Fog: Panel Discussion (January 26, 2019 at 4:00 PM)
Creative programming for mathematics (January 31, 2019 at 4:30 PM)
Mathematical Art in 10 Minutes (February 14, 2019)
Metaphors, mathematics, and imagination (February 26, 2019 at 7:00 PM)
Art in Mathematics and Science (March 7, 2019 at 1:00 PM)
How to make mathematics exciting and understandable (March 12, 2019 at 4:15 PM)
Algorithmic art and visualization of mathematics (March 19, 2019 at 4:15 PM)
Creative Programming (March 20, 2019 at 11:00 AM)
The Network Paradox and Quantopia (March 26, 2019 at 12:30 PM)
The Network Paradox and Quantopia (March 26, 2019 at 7:00 PM)
BBC CrowdScience (April 3, 2019 at 11:00 AM)
Vetandets Värld Sveriges Radio P1 (April 3, 2019 at 12:00 PM)
Fun with programming (April 11, 2019 at 12:00 PM)
Art, Creativity, and Programming (April 11, 2019 at 6:00 PM)
Creative and Artistic with Code (April 25, 2019)
The Strangeness of Infinity: From Cantor to Conway (June 4, 2019)
Local Editions: A Celebration of Bay Area Printmaking (June 21, 2019 at 7:00 PM)
20 Math Art Experiments in 20 Minutes (June 25, 2019 at 7:30 PM)
The Beautiful World of Algorithmic Art and Mathematical Visualizations (August 26, 2019 at 7:30 PM)
Creativity, Perspective Change, Programming, and Art in Mathematics (February 19, 2020 at 4:30 PM)
Logic Puzzles (February 26, 2020 at 4:15 PM)
Programming and Creativity (March 5, 2020 at 10:20 AM)
On Teaching Digitally (August 13, 2020)
Exploring Science with Programming (October 13, 2020 at 2:20 PM)
What is mathematics, and why is the imagination an important part of mathematical thinking? (November 28, 2020)
From Mathematical Visualizations to Algorithmic Art (March 10, 2021)
Mathematics Show (March 17, 2021)
The Magical Patterns of Mathematics (May 5, 2021)
Combining mathematics, art, and presentation techniques (May 11, 2021 at 3:00 PM)
Cerebro Matemático – Mathematical Brain Panel Discussion (June 15, 2021)
The Playful Path to (Mathematical) Understanding (June 19, 2021)
Visualizing Mathematical Structures with Processing (July 19, 2021)
Mathematical visualizations: from number theory, graph theory, and algebra to Celtic knots and mathematical art! (October 27, 2021 at 4:15 PM)
Pub with Professor: 60 Ideas in 60 Minutes (March 9, 2023 at 6:04 PM)
Algorithms, Patterns, and Mathematical Art (September 4, 2023 at 2:15 PM)
Teaching
Research
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
Art
Fifteen Blue Circles (April 28, 2016)
Celebratory Rotating Trisectrix from 12 Circles (November 26, 2016)
90 Rotating Equilateral Triangles (November 30, 2016)
Another 90 Rotating Equilateral Triangles (December 4, 2016)
Limaçon trisectrix thing with 24 points (January 10, 2017)
89 Pointy Dragon Triangles Circling Around. (January 15, 2017)
Asemic Love Letter Experiment (February 14, 2017)
Pinna (2002) illusion with triangles (May 15, 2017)
Pinna (2002) illusion with colors (May 15, 2017)
Hairy Spiral Thing (July 19, 2017)
When in doubt, parameterize (July 19, 2017)
Rolling Shutter Handoff Symmetry Thing (July 24, 2017)
Another way to draw a ❤ (July 24, 2017)
Five Octahedra (July 25, 2017)
Pyritohedra. Plural of pyritohedron. (July 26, 2017)
Yellow cube! No, orange dodecahedron! (July 26, 2017)
MOVES 2017 (August 8, 2017)
Six Perfect In-Shuffles With 125 Cards and Five Piles (July 24, 2018)
Eight Ways to Shuffle Sixty-Four Cards (July 25, 2018)
Network Art (December 27, 2018)
The Network Paradox (January 12, 2019)
Quantopia (January 25, 2019)
Testing, testing! Round and around. (June 21, 2019)
Around and around! (June 25, 2019)
Elliptical Pinballs! (July 2, 2019)
Visualizing Card Shuffling and Permutations in 3D (September 30, 2020)
Randomized Circle Packing (October 1, 2020)
Hilbert Curves (November 30, 2020)
Wooden Hilbert Curves (November 30, 2020)
Hilbert Tiles (November 30, 2020)
Mirror Hilbert Labyrinth (November 30, 2020)
Celtic Paper Hilbert Curve (November 29, 2020)
Press
A Logical Data Doctor (October 8, 2008)
Interview about the University Festival, with Morten Dæhlen (September 14, 2011)
About Science Communication (September 15, 2011)
Smart Juggling Balls (September 15, 2011)
Seducing Youth with Smart Juggling Balls (October 11, 2011)
Doctor with Luminous Balls (October 13, 2011)
Tempts with Bright Idea (October 29, 2011)
The Gathering 2012 (March 1, 2012)
Juggling for Science (May 28, 2012)
Mathematics Show with Smart Juggling Balls (October 19, 2012)
Number Tricks and Ball Tricks (February 12, 2013)
The Cube from the 80s is Back (March 16, 2013)
Research at the The Faculty of Mathematics and Natural Sciences (March 18, 2013)
Oslo Mini Maker Faire (March 22, 2013)
Oslo Mini Maker Faire 2013 (April 6, 2013)
University Festival (April 16, 2013)
Oslo Mini Maker Faire 2013 (April 25, 2013)
(Scientific) Mathematical Thinking (June 8, 2013)
Won Prize of 100 000 (June 10, 2013)
A Career among the Students (June 13, 2013)
4D Printing (June 17, 2013 at 11:03 AM)
University of Oslo comes to Tusenfryd (July 17, 2013)
Active Science Communication at Tusenfryd! (July 17, 2013)
Scientists at Tusenfryd (July 23, 2013)
Appeals to youth at Tusenfryd (July 24, 2013)
Scientists measure G Forces at Tusenfryd (July 24, 2013)
To Ride the ThunderCoaster (July 24, 2013)
Exciting days with UiO: Experiences (July 25, 2013)
This happens to your body when you are weightless (August 5, 2013)
Roller Coaster Stomach Feelings (August 20, 2013)
Slap a Banana (August 22, 2013)
Tonight with Ylvis (September 12, 2013)
3D Printing (September 22, 2013)
Kto wystąpi na TEDxKraków: Roger Antonsen (October 17, 2013)
Mathematical Mysteries / The Magic of Mathematics (October 23, 2013 at 10:20 AM)
Taniec, roboty i jedzenie: TEDx Kraków 2013 (October 26, 2013)
What do you want to learn? (October 30, 2013)
Mathematics and Natural Sciences (November 11, 2013)
Teach Kids Code: NDC Code Club (November 20, 2013)
Mathematics is Art and Joy (December 20, 2013)
Mathematics and Understanding (December 23, 2013)
Maker Faire Oslo 2014 (January 17, 2014)
Here is the country's most creative minds / Maker Faire Oslo 2014 (January 18, 2014)
Maker Faire Oslo 2014 (January 18, 2014)
Maker Faire Oslo 2014 (January 18, 2014)
2014: Year of the Maker & Maker of the Year (January 20, 2014)
Maker Faire Oslo: Snowy Start for Makers in 2014 (January 21, 2014)
CuttingEdge MakerSpace (January 24, 2014)
LATE on The Norwegian Museum of Science and Technology 2014 (March 21, 2014)
Smart Juggling Balls wins Pitch for Prototypes Competition (May 16, 2014)
Juggling with Light (May 17, 2014)
Celebrating the Abel Prize with Mathematics (May 22, 2014)
Programming as a Subject in School? (June 14, 2014)
Science Communication and Nerding with Things and Stuff (August 24, 2014)
Calculation is but a Fraction (September 5, 2014)
Maker Faire Oslo 2014 (October 21, 2014)
Wrapping Up a Funky, Fresh First Nordic MakerCon (October 23, 2014)
Wild, Beautiful, and Abstract (November 4, 2014)
Abel's Tower: Alan Turing Special (January 2, 2015)
Abel's Tower (January 9, 2015)
Cleverness and wisdom in spirit of the times (February 4, 2015)
How Norway Makers Scored $430K for 10 New Makerspaces (February 14, 2015)
Abel's Tower (April 10, 2015)
Abel's Tower (April 24, 2015 at 10:03 AM)
Minister of Education Worried: More Fail Math (August 27, 2015)
Interview about mathematics in Norway (August 27, 2015)
Giant multicopter drone that could lift weight of a human adult flies into record books (January 15, 2016)
Being Negative to Mathematics is a Cultural Problem (March 7, 2016)
Creates narratives of Mathematics (March 8, 2016)
Those who Aroused the Curiosity (May 27, 2016)
39 to the Finals as the Best Lecturer (May 27, 2016)
Norwegian kids should also get to learn programming (June 8, 2016)
Magical Patterns (June 11, 2016)
The greatest of all is the infinite (November 11, 2016)
Poetry at the end of times (March 24, 2017)
Coffee with Roger (March 30, 2017)
Infinities at Ekko and Abel’s Tower (March 31, 2017)
Intelligent spy robot can hide in downtown Oslo (April Fools' joke) (April 1, 2017)
Roger Antonsen is the Lecturer of the Year (October 20, 2017)
Commitment and Warm Presence (October 22, 2017)
Sjakk-VM i London (November 22, 2018)
Math Adventures with Python (January 1, 2019)
DJ Spooky Traces the Internet’s Evolution in Quantopia (January 11, 2019)
Greg Niemeyer and Roger Antonsen @ Catharine Clark (January 25, 2019)
Greg Niemeyer and Roger Antonsen (February 9, 2019)
Reflections on the birth of QUANTOPIA, a New Work of Art (February 22, 2019)
Roger Antonsen and Greg Niemeyer's Network Paradox in Oslo (March 7, 2019)
Tabel’s Ower (May 10, 2019 at 10:03 AM)
Mathematical Art (May 21, 2019)
Bridges Stockholm 2018 (June 29, 2019)
Start the presses: Palo Alto Art Center celebrates a 'summer of printmaking' with 'Local Editions' (July 2, 2019)
148 teachers for mathematics lectures (February 18, 2020)
Training on the couch (March 22, 2020)
ICERM Illustrating Mathematics (April 21, 2020)
Mathematical Makers’ Manifesto (May 1, 2020)
Matteprat med Roger og Andreas (June 24, 2020)
make Modern Issue 50 (January 12, 2023)
Blog
University of Oslo is at The Gathering (April 2, 2013)
Mathematics and Understanding (December 20, 2013)
The Magical Patterns of Mathematics (March 6, 2016)
Happy π-day! (March 14, 2016)
Did you know that you could hear numbers? (April 22, 2016)
Juggling and Mathematics (May 2, 2016)
Did you think Rubik's cube was out of fashion? (May 12, 2016)
Friday the thirteenth is more likely than any other day of the week (May 13, 2016)
How many moves are needed to solve Rubik's Cube? (May 30, 2016)
Fixed Point Fascination (June 7, 2016)
Heart for micro:bit and Processing (March 10, 2017)
A Visual Quine for Processing (May 12, 2018)
Debug
Error
Home Page
index
privat
search
Made with ❤️ Roger Antonsen © 2026