-
Antonsen, Roger
(2021).
Keltiska knutar.
Nämnaren : tidskrift för matematikundervisning.
ISSN 0348-2723.
47(4),
p. 9–11.
Show summary
Keltiska knutar är en mängd olika knutar och stiliserade grafiska framställningar av knutar som bland annat används för dekoration. Här beskriver författaren konstruktion och kategorisering och han visar beräkningar för hur designen av keltiska knutar kan göras.
-
Antonsen, Roger
(2021).
Fra matematiske visualisering til algoritmisk kunst.
-
Antonsen, Roger
(2021).
Combining mathematics, art, and presentation techniques.
-
Antonsen, Roger
(2021).
Visualizing Mathematical Structures with Processing.
Show summary
We look at how mathematical structures, in particular discrete structures and sets of finite objects, can be visualized, and interactively experimented with, in Processing, a open-source, easily accessible computer programming language and environment based on Java. We start from scratch and look at how to implement and visualize structures like relations, functions, sets, equivalence classes, groups, and graphs.
-
Antonsen, Roger
(2021).
Mirror Hilbert Labyrinth.
Show summary
This is a 52-mirror labyrinth, with a “laser beam” that traces out the Hilbert curve. The top layer of the base has slits precisely cut to hold the 52 mirrors so that their reflective back faces are on the appropriate diagonals. The symbolic “laser beam” consists of a red piece of paper resting on a wooden platform of the same shape. This illustrates an internal point of view, as the “laser beam” has no knowledge of absolute direction, and the mirrors (or their absence) serve as local directional commands. Originally I wanted to use an actual laser beam to trace out the curve, but the mirrors absorbed too much light, and the beam was invisible after a dozen bounces
-
Antonsen, Roger
(2020).
Å utforske naturfaglige fenomen med programmering.
Show summary
I naturfag kan elevene både programmere modeller av naturfaglige fenomener og programmere verktøy for å utforske naturfaglige fenomener. I dette foredraget leker vi med noen eksempler med Scratch og Micro:bit og ser hvordan vi kan komme langt med enkel programmering.
-
Antonsen, Roger
(2020).
Programmering og kreativitet.
-
Antonsen, Roger
(2020).
What is mathematics, and why is the imagination an important part of mathematical thinking?
-
Antonsen, Roger
(2020).
3D Printed Card Shuffling and Permutations / Perspectives on the Hilbert Curve.
In Davis, Diana (Eds.),
Illustrating Mathematics.
American Mathematical Society (AMS).
ISSN 978-1-4704-6122-5.
Show summary
This book is for anyone who wishes to illustrate their mathematical ideas, which in our experience means everyone. It is organized by material, rather than by subject area, and purposefully emphasizes the process of creating things, including discussions of failures that occurred along the way. As a result, the reader can learn from the experiences of those who came before, and will be inspired to create their own illustrations.
Topics illustrated within include prime numbers, fractals, the Klein bottle, Borromean rings, tilings, space-filling curves, knot theory, billiards, complex dynamics, algebraic surfaces, groups and prime ideals, the Riemann zeta function, quadratic fields, hyperbolic space, and hyperbolic 3-manifolds. Everyone who opens this book should find a type of mathematics with which they identify.
Each contributor explains the mathematics behind their illustration at an accessible level, so that all readers can appreciate the beauty of both the object itself and the mathematics behind it.
-
-
Antonsen, Roger & Niemeyer, Greg
(2019).
The Network Paradox og Quantopia.
-
Antonsen, Roger
(2019).
BBC CrowdScience.
[Radio].
BBC.
-
Antonsen, Roger
(2019).
Vetandets Värld på Internationella Vetenskapsfestivalen Göteborg.
[Radio].
Sveriges Radio P1.
-
Antonsen, Roger
(2019).
Matematikkshow.
-
Antonsen, Roger
(2019).
Kreativ og kunstnerisk med kode.
-
Antonsen, Roger
(2019).
The Strangeness of Infinity: From Cantor to Conway.
-
Antonsen, Roger & Niemeyer, Greg
(2019).
The Network Paradox.
-
Antonsen, Roger
(2019).
20 Math Art Experiments in 20 Minutes.
-
-
Jemterud, Torkild; Kjeldstad, Torunn; Antonsen, Roger & Bøckman, Petter
(2019).
Abels tårn.
[Radio].
Ekko, NRK P2.
-
Antonsen, Roger & Niemeyer, Greg
(2019).
The Network Paradox.
Show summary
Catharine Clark Gallery opens its 2019 program with The Network Paradox, a collaborative project by artist Greg Niemeyer and computer scientist and artist Roger Antonsen, with Mullowney Printing, San Francisco. Realized in celebration of the 50th anniversary of the Internet, The Network Paradox depicts “an animated view of the evolution of the Internet from 1969 to 2019,” as Niemeyer describes, while inviting meditation on how we form communities through technologies. The centerpiece of the exhibition is an 18-foot long gravure scroll printed from 26 plates, published by Mullowney Printing with assistance from graduate printmaking students at Pacific Northwest College of the Arts. The monumentally-scaled work on paper draws inspiration from the Daoist hexagrams of the I Ching, the historical divination text that dates to China’s Western Zhou period (1000 – 750 BC). The 64 hexagrams in the I Ching are composed through sequences of straight and broken lines that form unique compositions, representing different elements that are essential to Daoist philosophy. In identifying these symbolic constructions as an early form of code, Niemeyer and Antonsen created a graphic composition that imagines an expanded history of the Internet and its evolution through the technological advancements of the Cold War (1946 – 1991), the first dot-com wave, the rise of big data, and the influence of artificial intelligence, among other sources and events.
-
Antonsen, Roger
(2018).
From Simplicity to Complexity: What Happens Next?
Show summary
Simple assumptions often give rise to surprising and delightful consequences. Think about games and puzzles like chess and Rubik's cube, where enormous complexity arises from simple rules. The same is true of cellular automata, juggling, fractals, and more! Discover how creative computer programming can be used to explore mathematical structures as Roger Antonsen, computer scientist and award-winning math communicator, presents a visual and playful talk on the connections between simple assumptions and their complex consequences.
-
Antonsen, Roger
(2018).
Modeller og eksperimentering.
-
Antonsen, Roger
(2018).
Models We Live By.
-
Antonsen, Roger
(2018).
Eight Ways to Shuffle Sixty-Four Cards.
Show summary
These are visualizations of eight different ways of shuffling sixty-four cards. The horizontal lines of dots represent the particular orders of the cards throughout each shuffle, and the vertical curves represent the paths the cards take from start to finish. The cards are restored to the original order in all the eight cases. From left to right, top to bottom, the shuffles are: (1) Six perfect out-shuffles with two piles. (2) Three perfect in-shuffles with sixteen piles. (3) Four sixteen-card cuts from the top. (4) Seven milk shuffles. (5) Four “count-out-and-transfer” shuffles. (6) Twelve perfect in-shuffles with two piles. (7) Six alternating in- and out-shuffles with sixteen piles. (8) Twelve “deal-one-and-skip-one” shuffles.
-
Antonsen, Roger; Grosz, Barbara J. & Paulson, Steve
(2018).
Human Cognition and the AI Revolution.
Show summary
Einstein once remarked, “Any fool can know. The point is to understand.” Indeed, discovering the true nature of reality may ultimately hinge on grasping the nature and essence of human understanding. What are the fundamental elements or building blocks of human understanding? And how will superintelligent machines challenge our ideas about cognition, reality, and the limits of human understanding?
The 21st century has seen rapid advancements in the realm of artificial intelligence, or AI, which aims to generate a synthetic capacity to mimic and even surpass human knowledge. But beyond the creation of programs that detect statistical patterns in vast data sets, it remains to be seen whether AI can formalize the basic elements of human understanding into a system of rules that could then be applied in computer programs. Such “knowledge engineering” would constitute a significant breakthrough, enabling machines to share some of our cognitive abilities rather than merely imitating the results of our thinking. These advancements in AI may ultimately force us to confront more profound questions about what it means to be human.
Logician/mathematician Roger Antonsen and computer science pioneer Barbara J. Grosz join Steve Paulson to break down the fundamental elements of human understanding and analyze what lies ahead on the horizon of AI.
-
-
Antonsen, Roger
(2017).
Kræsjkurs i algoritmer.
-
Antonsen, Roger
(2017).
Matematiske opplevelser og hvordan vi bruker språk til å formidle matematikk.
-
Antonsen, Roger
(2017).
Making Juggling Patterns.
-
Antonsen, Roger
(2017).
Metaphors, Perspectives, and Thinking Differently.
-
Antonsen, Roger
(2017).
Mathematical Explorations and Visualizations with Processing.
-
Antonsen, Roger
(2017).
Metaphors, Mathematics, and Understanding.
-
Antonsen, Roger
(2017).
Mathematical Explorations and Visualizations with Code.
-
Antonsen, Roger
(2017).
Creative Coding with Processing.
-
Antonsen, Roger
(2017).
Math, Art, Play.
-
Antonsen, Roger
(2017).
Kunsten å tenke abstrakt og matematisk.
-
Lilleborge, Marie & Antonsen, Roger
(2014).
Mye du ikke vet om Rubiks kube - et foredrag om Rubiks kube og matematikk.
-
Antonsen, Roger
(2013).
Matematikk, sjonglering og programmering.
-
Antonsen, Roger
(2012).
Org-mode, calendar og calc.
-
Antonsen, Roger
(2012).
Show under åpningen av EnergiTivoli.
-
Antonsen, Roger
(2012).
Hva er Sonen - Åpen sone for eksperimentell informatikk?
-
Antonsen, Roger & Bjerknes, Jan Dyre
(2012).
Med sjongleringsballer som ice breaker.
-
Antonsen, Roger & Bjerknes, Jan Dyre
(2012).
Inspiring Juggling Balls.
Show summary
Inspiring Arduino project: smart juggling balls, informatics and programming. In this talk, Roger and Jan Dyre will demonstrate their recently developed juggling balls. They change their color dependent on the juggling pattern. The juggling balls contain all the basic elements of informatics, such as hardware, calculations, communication, programming and user interface.
-
Antonsen, Roger
(2012).
Formidling med smarte sjongleringsballer.
-
Antonsen, Roger
(2012).
Vitenskap, programmering og matematikk med smarte sjongleringsballer.
Show summary
Et underholdende og energisk foredrag - med smarte sjongleringballer som lyser i mørket - om fascinerende forbindelser mellom sjonglering, programmering og matematikk. De smarte sjongleringsballene har datamaskiner inne i seg, kan kommunisere trådløst med hverandre og analysere i sanntid hva som skjer med dem. Kom og hør en annerledes fortelling om vitenskap, kunst, elektronikk, sensorer og signaler!
-
Antonsen, Roger & Bjerknes, Jan Dyre
(2012).
Intelligent juggling balls with visual amplification.
-
Antonsen, Roger & Bjerknes, Jan Dyre
(2012).
Smart Juggling Balls with Visual Amplification.
Show summary
Each ball contains an Arduino microcontroller, a three-axis accelerometer, multicolored LEDs and a radio tranceiver. This technology allows for for a huge range of interactive activites, ranging from games and fun to serious science commmunication.
-
Antonsen, Roger
(2012).
Programming, mathematics and juggling.
-
Antonsen, Roger
(2012).
Vitenskap, programmering og matematikk med smarte sjongleringsballer.
Show summary
Et underholdende og energisk foredrag med smarte sjongleringballer som lyser i mørket. Opplev fascinerende forbindelser mellom sjonglering, programmering og matematikk. De smarte sjongleringsballene har datamaskiner inne i seg og kan kommunisere trådløst med hverandre og analysere i sanntid hva som skjer med dem. Kom og hør en annerledes fortelling om vitenskap, kunst, elektronikk, sensorer og signaler! Stikkord: Programmering, notasjonssystemer, lyd, bevegelse, elektronikk, sensorer, signaler, robotikk, svermer og simuleringer.
-
Antonsen, Roger
(2012).
Alternativ formidling av matematikk og informatikk.
-
Antonsen, Roger & Sevik, Kristine
(2012).
Motivasjon, mestring og matematikk.
-
-
Antonsen, Roger
(2011).
Demonstrasjon av smarte sjongleringsballer for Oslo Åpne Hus.
-
Bjerknes, Jan Dyre; Antonsen, Roger & Mikkelsen, Trond
(2011).
Presentasjon av Smarte sjongleringsballer under Bursdagsfesten til Universitetet i Oslo.
-
Bjerknes, Jan Dyre; Holtan, Kim & Antonsen, Roger
(2011).
Doktor med selvlysende baller.
[TV].
NRK Buskerud.
Show summary
Håper fenomenet vil føre til større interesse for realfag blant skoleelever. Dette er historien om to studiekompiser. Den ene heter Roger Antonsen og den andre Jan Dyre Bjerknes. Den ene entusiastisk sjonglør. Den andre fullstendig robotfrelst.
-
Antonsen, Roger & Dæhlen, Morten
(2011).
Matematikk- og informatikkshow.
-
Mysen, Christine & Antonsen, Roger
(2011).
Lokker med lysende idé.
[Newspaper].
Smaalenenes Avis.
Show summary
Sjongleringsballer kan nå tenke selv, takket være Roger Antonsen (35) fra Skiptvet.
-
Antonsen, Roger
(2011).
Digitalt sirkus.
-
Antonsen, Roger & Bjerknes, Jan Dyre
(2011).
Smarte sjongleringsballer med visuell forsterkning.
-
Grydeland, Ivar & Antonsen, Roger
(2011).
Smarte baller.
[Radio].
NRK P2, Ekko.
-
Vogt, Yngve & Antonsen, Roger
(2011).
Forfører ungdom med smarte sjongleringsballer.
[Newspaper].
Apollon.
Show summary
Lysende high tech-baller skal friste ungdommen til å velge realfag. Ballene kan også brukes i skoleundervisning, i selskapsleker og i opptrening av motoriske ferdigheter.
-
Antonsen, Roger
(2011).
Avslutningsshow med smarte sjongleringsballer for forskning.no-konferanse.
-
Antonsen, Roger
(2011).
Matematikk, programmering og sjonglering.
-
Antonsen, Roger
(2011).
Matematikk, programmering og sjonglering.
-
Antonsen, Roger & Dæhlen, Morten
(2011).
Fra ingenting til overalt: informatikkens historie.
-
Antonsen, Roger & Dæhlen, Morten
(2011).
Informatikkens historie (med smarte sjongleringsballer), del II.
-
Antonsen, Roger & Dæhlen, Morten
(2011).
Informatikkens historie (med smarte sjongleringsballer), del I.
-
Antonsen, Roger & Dæhlen, Morten
(2011).
Fra ingenting til overalt: informatikkens historie.
Show summary
60 av de beste formidlerne ved UiO reiste i anledning 200-årsjubileet rundt på videregående skoler med et fagforedrag.
-
Myklebust, Mona; Dæhlen, Morten; Antonsen, Roger & Glette, Kyrre Harald
(2011).
NRK Ekko: Digitaliseringen av samfunnet.
[Radio].
NRK.
-
Antonsen, Roger & Dæhlen, Morten
(2011).
Fra ingenting til overalt - en reise i informatikkens historie.
Show summary
60 av de beste formidlerne ved UiO reiste i anledning 200-årsjubileet rundt på videregående skoler med et fagforedrag.
-
Antonsen, Roger & Waaler, Arild
(2005).
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
-
Antonsen, Roger
(2004).
Uniform Variable Splitting.
Show summary
This extended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called independent when it is sound to instantiate them differently. The goal of the uniform variable splitting technique is to label variables differently (modulo a set of equations) exactly when they are variable independent.
-
Antonsen, Roger
(2004).
Uniform Variable Splitting (Poster).
-
Waaler, Arild & Antonsen, Roger
(2003).
A Free Variable Sequent Calculus with Uniform Variable Splitting.
Show summary
En ny sekventkalkyle for første ordens logikk med frie variable som løser splitte-problemet. Reglene i kalkylen har ingen begrensninger mht. permutasjon. En ny sekventkalkyle for første ordens logikk med frie variable som løser splitte-problemet. Reglene i kalkylen har ingen begrensninger mht. permutasjon.
-
Antonsen, Roger
(2008).
The Method of Variable Splitting.
Unipub forlag.
ISSN 1501-7710.
Show summary
This is a thesis in the intersection of automated reasoning and proof theory. It is in the field of automated reasoning because it is a detailed analysis of certain search space redundancies that, in the end, may lead to more efficient theorem provers. It is in the field of proof theory because formal proofs and properties of such are analyzed in great detail. The thesis is foundational in nature and investigates the fundamentals and the metatheory of a method called variable splitting.
Very briefly, variable splitting is a method applicable to free-variable tableaux, free-variable sequent calculi, connection methods, and matrix characterizations, that reduces redundancies in the search space by exploiting a relationship between branching formulas and universal formulas. Using contextual information to differentiate between occurrences of free variables, the method admits conditions under which these occurrences may safely be assigned different values by substitutions or assignments.
-
Hansen, Christian Mahesh; Antonsen, Roger & Waaler, Arild
(2007).
Incremental Closure of Variable Splitting Tableaux in TABLEAUX'07 - Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers. Editors: Nicola Olivetti, Camilla Schwind. LSIS.RR.2007.002.
LSIS, Paul Cézanne University.
-
Antonsen, Roger
(2003).
Free variable sequent calculi.
Språk, logikk og informasjon (SLI).
Show summary
This is a thesis about free variable sequent calculi for first-order languages without equality. A brief summary: Chapter 1 and 2 are mainly background material. Chapter 3 introduces a way of representing and reasoning about relations between inferences and sketches a method for syntactical soundness proofs; more precisely, soundness results from one calculus can be transferred to another calculus by means of proof transformations. Chapter 4 investigates a new free variable sequent calculus with 'uniform variable splitting'. This calculus is an attempt to generalize and sharpen the idea of universal variables and the 'splitting by need'-method. There is also an appendix containing a the paper 'A free variable sequent calculus with uniform variable splitting' written by Arild Waaler and Roger Antonsen.