Sun Mon Tue Wed Thu Fri Sat
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30
|
Drents Museum
Conny and I went to the Drenthe province. We first went to Drents Museum in Assen,
the capital of Drenthe. There we saw several exhibitions. The first exhibition we saw was Nebra Sky Disk, which is about the Nebra sky disk. We both had some doubts about some of the texts at the
exhibition as they expressed certain interpretations as fact. The object is
from a time where there is no written accounts, meaning that there is a lot of
room for interpretation.
We revisted the Unlimited exhibtion with self-portraits from the collection of the museum,
which we saw on June 16. I found the following
self-portraits noteworthy:
- Self-Portrait, Roseming Hendriks, 2003. (I must have overlooked this one
on June 16.)
- Self-shortened, Arout van Abada, 2008
- Self, Laura Eckert, date unknown.
- Self-Portrait with Snorkel, Pieter Pander, 2004
- Self-Portrait, Herman Tulp, 1978
- Self-Portrait in Red Bathrobe, Barend Blankert, 2007
- In-Between Self, Deborah Poynton, 2021. (Conny had not seen this and
took a keen interest in the painting.)
- Monochrome Self-Portrait with Cap, Philips Akkerman, 2003
- Self-Portrait, Philips Akkerman, 2007
We also saw De Drenthe Madonna by Josef Israëls, 1893.
We also revesited the Under the Spell of Mount Ararat exhibition. Again we were impressed by
the Armenian
alphabet. In the exhibition there was also an Armenian bible printed
around 1666 in the Netherlands and being published by Voskan Yerevantsi. Conny bought two books at the museum shop: One about
the Nebra sky disk and one about Deborah Poynton.
After we visited the museum we went walking in the Dwingelderveld National Park. We walked the 'white' route that
contains some decking paths on poles that are in the wet areas. But because
of the lack of rain we did not see any water while walking these paths. In the
past three summer months there was an average of 135mm of rainfall where 224mm
is normal. It was also one of the most sunny summers with 835 hours of sunshine
while 640 is the average. It was the third hottest summer after the summer of
2018 and 2003 with an average temperature of 18.6°C against 17.5°C
normal.
Orthocenter
Floor van Lamoen informed me that the center of the triangle that I talked
about on August 4 is the orthocenter, which is the point where the three altitudes of the
triangle cross. This was already described by Euler as the orthocentric system. Floor van Lamoen is one of the people who have
contributed to the Encyclopedia of Triangle Centers. Some information about his contributes
are found on his
mathematics page (in Dutch).
This evening, I came up with the following 'rules' for the The Busy Beaver Challenge #43.374.927, which if correct prove that it is
infinite:
A: .* 0 0* => B: .*1 0 0*
A: .* 1 010* => D: .*0 0 10*
A: .* 1 1010* => D: .*0 1 010*
A: .* 1 1+010* => D: .*0 1 1*010*
A: .* 1 (01+)+010* => D: .*0 0 1+(01+)*010*
A: .* 1 1(01+)+010* => D: .*0 1 (01+)*010*
A: .* 1 1+(01+)+010* => D: .*0 1 1*(01+)*010*
B: .*1 0 0* => C: .* 1 10*
B: .* 0 (01+)*010* => C: .* . 1(01)*010*
B: .* 0 1+(01+)*010* => C: .* . 11+(01)*010*
B: .* 1 (01+)*010* => B: .* . 1(01)*010*
B: .* 1 1+(01+)*010* => B: .* . 11+(01)*010*
C: .* 0 1+(01+)*010* => A: .* 1 1*(01+)*010*
C: .* 1 10* => B .* . 010*
C: .* 1 1+(01+)*010* => B: .* . 01+(01)*010*
D: .* 0 10* => E: .*0 1 0*
D. .* 0 1+(01+)+010* => E. .*0 1 01+(01+)*010*
D: .* 1 010* => D: .*1 1 0*
D: .* 1 1+(01+)+010* => D: .*1 1 01+(01+)*010*
E: .* 1 0* => A: .*1 0 0*
E. .* 1 01+(01+)*010* => A: .*1 0 1+(01+)*010*
Now, I plan on writing a program that can process these rules and proof that
the rules are correct and cover all possible cases.
(follow-up)
Going into the city
This afternoon, I went into the city. I first went to the open day exhibition at Robson, Stichting
Vierkant. There I saw works by the following artists:
I was interested in buying a work from Maaike Goinga and met with her to talk
about it.
Next, I went to TETEM art space where I saw
the exhibition Morphogenic Angels and Pink Moonrock Cries by Kieken artist collective. I spend some time looking at their presentation
in the entrance hall made with Miro brainwriting tool.
At Fotogalerie Objektief I
saw the exhibition Ruimte en Perceptie (Space and Perception) with
photograpsh by Jan Theun van Rees.
At Concordia there was only an exhibition on the second floor called Groei
Festival where Jasper
Schütz works together with some people from Enschede to create art.
There was an installation activated with a proximity sensor with activated
shows you a room full of people applauding.
At bookshop Broekhuis, I saw the exhibition
Torino Expo with works by
Sander de Groot.
First chestnuts
This morning, at 9:13, Conny and I found two
rather small chestnuts on the Helmerstraat while
taking a walk. We think that they are small due to the dry weather of the past months. We had some rain this morning for the
first time in many weeks. The tall chestnut tree in the garden is getting too
tall and too thick. We are thinking about cutting it down before it getting too
tall to cut it down by ourselves. Conny has been taking care of the little chestnut tree after it lost it leaves again early in the
summer. It has grown some leaves again and now about 16 cm tall. Kind of bonsai
chestnut tree.
I have been working on a program to process the 'rules' I presented last Friday, but it looks like the rules need to be a bit more
complicated. However, I cannot exclude the possibility that they need to be far
more complicated or that this approach is even not possible. It looks like I
also need some more time to develop the program further.
(follow-up)
GOGBOT
This afternoon, I went to GOGBOT with the
title So Future: From Solarpunk to Metaf*ck. I found the following
works of the exhibition noteworth:
I found that the exhibition was quite interesting. I have to note that some
rooms of the exhibition were closed.
At 18:13, we noticed that there was a rainbow on
the sky after the sun started to shine while it was still raining. I went
outside with an umbrella and took some pictures. I also took a close-up which shows the colour bands below the main colour band.
SymbolicTM
I finished the SymbolicBB.cpp
program, which can be used to proof of a Busy Beaver Turing Machine terminate or not. The program (that I talked
about last Tuesday) verifies that a collection of patterns,
which make use of regular expressions to describe the states of the tape,
describe all possible states that can be reached from a starting state. If this
does not include a halt state, it proves that the Turing Machine will never
terminate. The patterns (as processed by the program) for The Busy Beaver Challenge #43.374.927 that prove that it does not
terminate, are:
A: 0@ 0 0@
B: 0@1 0 0@
C: 0@ 1 10@
B: 0@ 0 010@
C: .@ 0 1010@
A: .@ 1 010@
D: .@0 0 10@
E: .@00 1 0@
A: .@001 0 0@
B: .@0011 0 0@
C: .@001 1 10@
B: .@00 1 010@
B: .@0 0 1010@
C: .@ 0 11010@
B: .@ 0 1+(01+)*01+1010@
C: .@ 0 1+(01+)*01+1010@
C: .@ 1 1+(01+)*01+1010@
A: .@ 1 1*(01+)*01+1010@
B: .@ 0 (01+)*01+1010@
D: .@ 1 1*(01+)*01+1010@
D: .@ 0 1+(01+)*01+1010@
E: .@ 1 1*(01+)*01+1010@
A: .@ 0 1+(01+)*01+1010@
B: .@ 1 1*(01+)*01+1010@
D: .@1+ 1 1*010@
D: .@11+ 0 10@
E: .@1+0 1 0@
A: .@1+01 0 0@
B: .@1+011 0 0@
C: .@1+01 1 10@
B: .@1+0 1 010@
B: .@1+ 0 1010@
D: .@ 0 1+1010@
A: .@ 0 1+1010@
E: .@ 1 1+010@
B: .@1 1 1+010@
A: .@ 1 1+010@
D: .@0 1 010@
D: .@1 0 10@
C: .@ 1 11010@
B: .@ 1 1+1010@
B: .@ 0 1+11010@
C: .@ 0 1+11010@
C: .@ 1 1+11010@
D: .@ 1 1+010@
This is a bit more than my earlier proposed solution. It is
possible that this collection can still be reduced by making some patterns more
generic. I am also thinking about adding some analyses algoritms. For a
desciption also see SymbolicTM git repository.
(follow-up)
Book sale
At 17:28, I bought the following three books at the book sale at the book charity shop Het Goed for € 0.99 each:
- Verbeelding van verlangen written by Thomas Verbogt, Martha J.
Haveman, Sylle Vis, and Joke Leeuwenburg, written in Dutch and English,
and published by Broekhuis Uitgeverij in 2004,
ISBN:9789070162931.
- Gianpietro Carlesso: Monografie und Werkubersicht, written by
David Anfam, Giuliana Carbi, Markus Klammer, Adrian Locke, and
Gianpietro
Carlesso, edited by Markus Klammer, written in German, and published
by Hatje Cantz Verlag in 2014, ISBN:9783775736480.
- Do Androids Dream of Electric Sheep
written by Philip K. Dick in English and published by Orion Publishing Co
in 2010, ISBN:9780575094185.
I learned that a decider was implemented that already states that Busy Beaver #43.374.927 does not halt. I decided to work on The Busy Beaver Challenge #43.374.927. I had to make some improvements to
the algorithm implemented in SymbolicTM.cpp (see SymbolicTM git repository) to deal with some new cases. I found the
following rules that prove this challenge:
A: 0@ 0 .@
E: 0@ 0 0.@
B: 0@1 0 .@
B: 0@1 1 .@
B: 0@ 0 .@
C: 0@((11)+0+)* 0 .@
A: 0@((11)+0+)*(11)+0+ 0 1.@
A: 0@((11)+0+)*(11)+ 0 1.@
B: 0@((11)+0+)*(11)+0+1 1 .@
B: 0@((11)+0+)*(11)+1 1 .@
C: 0@((11)+0+)*(11)+ 0 .@
C: 0@((11)+0+)*(11)+ 1 .@
A: 0@((11)+0+)*(11)*1 1 .@
C: 0@((11)+0+)* 1 .@
D: 0@((11)+0+)*(11)+ 1 .@
E: 0@((11)+0+)*(11)*1 1 .@
D: 0@((11)+0+)* 1 .@
E: 0@((11)+0+)*(11)+0* 0 0.@
B: 0@((11)+0+)*(11)+0+ 0 .@
Note how almost everything on the right tape is irrelevant. Although the
behaviour of this Turing Machine looks very chaotic, the left side of the tape
is rather regular.
Amsterday
Today, I went to Amsterdam by train. I made a stop at Utrecht where I walked to the bookshop Steven Sterk. I saw the book Actie-Reactie: 100 jaar kinetische kunst about an exhibition with
the same name (YouTube). I also wanted to visit bookshop Broese, but that have moved to
a new location. I Amsterdam, I first went to Architectura & Natura bookshop. I saw the book Tibetan Houses: Vernacular Architecture of the Himalayas and Environs.
From there, it was but a short walk to andriesse ~ eyck gallery to see the
exhibition Echoes
and Traces with works by Lidwien van de Ven. Next I visited Galerie Ron Mandos to see the Best of Graduates 2022 exhibition. I found the works by the
following graduates noteworth:
I walked around the area and went to bookshop Boekie Woekie, books by artiss. From there I walked to Athenaeum Boekhandel and, across the street, to The American Book Center. The last bookshop I visited was
Scheltema. On the train ride home, I saw some
rainbows. First at 18:57 there was a partial (left-side) single rainbow on the
left side of the train when we entered the station of the Apeldoorn, which
remained visible till about 19:00. Then after we left the station, there was
a double rainbow visible on the right side of the train. Because the train was
driving away from the sun, I could not see if it was a compelete rainbow, but
I suspect it was. It seems that both rainbows were originating from the same
cloud. It is typical rainbow weather, just like yesterday, when I too saw a
rainbow, with rain clouds that developing when cold air is coming from the
north west. I did enjoy this trip to Amsterdam.
12.1° Celsius
Today, the temperature at Twenthe Airport did not
go higher than 12.1° Celsius. In De Bilt the highest temperature was 13.3° which made it the coldest
September 18 on record, breaking the previous record from 1962.
Painting
This afternoon, I went to pick up a recent painting from Maaike Goinga. This is the painting, I saw at the exhibition in Robson on Saturday, September 3. Shortly thereafter, I decided to buy it. She showed
me her studio and we talked a bit about her recent work.
Arnon Grunberg
I finished reading the book Aan nederlagen geen
gebrek: Brieven en documenten 1988-1994 consisting of letters (and some
documents) written by Arnon Grunberg, which partly overlaps with the time he wrote his first
novel: Blue Mondays (Blauwe
maandagen). I started reading this book on September 4. I bought it on
May 28. This afternoon, I reread some parts of
Blaauwe maandagen and I came to the conclusion that I find it more
interesting to read his letters than his stories. Many of his letters are
written in the same style as his stories, but where a story is only judged by
the readers, the letters are not without consequences with respect to the
relationship he has with the people he writes to. That makes them far more
real.
Chestnut tree
This afternoon, I cut chestnut tree in the back
garden, just like we did in Sunday, March 30.
It again was getting rather high with several thick branches that grew from the
trunck. Conny helpt with removing the leaves
from some of the branches.
This months interesting links
Home
| August 2022
| October 2022
| Random memories
