Category Archives: Computing
A somewhat more down-to-earth post, this one; an overview of, and a case study in, the wonderful revolution in Computing and Computer Science currently taking place in British schools. Adapted from a paper presented at the 4th World Conference on Learning, Teaching and Educational Leadership and published in the Elsevier ‘Procedia – Social and Behavioral Sciences’ journal.
The past few years have been challenging ones for Computing education in the UK. After decades of national neglect, largely overlooked, from the county that invented Computer Science, there has been a sudden impetus to reintroduce computational problem-solving into the school curriculum. Immediate obstacles include a generation of children with no CS background and a need for tens of thousands of new or retrained teachers. The Computing At School (CAS) movement has been instrumental in this quantum transition from an IT to Computing syllabus, as have the British Computer Society (BCS), leading UK university CS departments and a number of major international technology companies. This piece looks at the background to this position and the progress being made to address these challenges. It describes, as an example of many, the work of the BCS-funded Glyndŵr University ‘Turing Project’ in introducing Welsh high-school students and staff to high-level programming and ‘computational thinking’. The Turing Project uses an innovative combination of Lego NXT Mindstorm robots, Raspberry Pi computers and PicoBoard hardware together with the Robot C and Scratch programming platforms. Continue reading
Leave a comment | tags: Alan Turing, BCS Academy, British Computer Society, Computer Science, Computing At School, Council of Professors and Heads of Computing, Glyndŵr University, Google, Lego NXT, North Wales, PicoBoard, Raspberry Pi, Robot C, Scratch programming | posted in Academia, Computer Science, Computing, Education, Hardware, Politics, Programming
What’s your favourite terrible technological prediction? There are plenty to choose from, that’s for sure. The following is just a brief list of the most infamous computing-based futurology howlers (oldest to newest):
- “I think there is a world market for maybe five computers”, Thomas Watson: IBM chairman (1943) (* or was it someone else?)
- “Computers in the future may weigh no more than 1.5 tons”, Popular Mechanics (1949)
- “I have traveled the length and breadth of this country and talked with the best people, and I can assure you that data processing is a fad that won’t last out the year”, Prentice Hall: Business Books Editor (1957)
- “There is no reason anyone would want a computer in their home”, Ken Olsen: DEC founder (1977)
- “640K ought to be enough for anybody”, Bill Gates (1981) (* or did he really?)
- “We will never make a 32-bit operating system”, Bill Gates (1989)
- “Spam will be a thing of the past in two years’ time”, Bill Gates (2004)
- “Next Christmas the iPod will be dead, finished, gone, kaput”, Alan Sugar (2005)
Continue reading
7 Comments | tags: Bertrand Russell, Bill Gates, Computing future, Fundamentalism, Futurology, Internet of Things, Intolerance, Michael Moorcock, Predicting the future, Privacy, Science fiction, StarTrek, The Singularity | posted in Academia, Computer Science, Computing, Education, Engineering, Hardware, Philosophy, Politics, Science
There’s an appreciable risk that this post may be considered sacrilegious within the programming world. If there’s one thing, even just one tiny, single thing, that every programmer knows about teaching programming, it’s that the first lesson should be how to output the string, “Hello world!” (There’s some dispute as to whether the ‘w’ should be capitalised but the ‘!’ is entirely necessary.) How heretical would it be to suggest that, not only is this probably not the best place to start, but that a better alternative can be found by turning around a bottle of shampoo?
Continue reading
Leave a comment | tags: Algorithm, Algorithms, Computer programming, Hello world!, Introductory programming, Languages, Programming, Programming language, Programs, Sequence selection repetition, Teaching programming | posted in Academia, Algorithms, Computer Science, Computing, Education, Programming, Software
When the Four Colour Theorem (FCT) was finally ‘proved’ in 1976, it upset a lot of mathematicians. It was the first significant mathematical concept to be proved with a good deal of help from a computer and, for many, that didn’t make it a real proof. Although we’re largely (maybe not entirely) OK with it now, the objections at the time weren’t just theorists’ snobbery. At the heart of it all were some fundamental questions about the role a computer could or should play in formal logic.
Essentially, the FCT says that the maximum number of different colours needed to colour a map, so that no bordering countries are the same colour, is four. (Colours can touch at a point but not at an edge.) It’s easy to show that five will always do the trick and, in fact, most normal maps only need three. However, certain types of map certainly seemed to need four so was four always enough? Continue reading
1 Comment | tags: Computer proof, Formal methods, Formal proof, Four color theorem, Math, Mathematics, Maths, Problem solving, Program correctness, Program verification, Sunday Times | posted in Algorithms, Computer Science, Computing, Mathematics, Philosophy, Programming, Software