North Korea launches missile in ‘military drill’

Tuesday, June 19, 2007

According to the Japanese Defense Ministry, North Korea has fired a short-range missile today into the Sea of Japan. Officials believed it to be part of a regular exercise.

“North Korea fired a short-range missile in what appeared to be part of a military drill,” a Japanese Defense Ministry official was quoted as saying by Yonhap News Agency.

A South Korean defense spokesman said such tests are routine.

“We don’t deny that North Korea fired a missile,” South Korean Army Colonel Ha Doo-chul, told Yonhap. “If it did, we regard it as a routine exercise.”

The test comes at the time when North Korea is inviting inspectors in to discuss its nuclear programs.

Wednesday, February 16, 2005

Michael Gurian, psychologist and author of “What Could He Be Thinking?“, has claimed to identify approximately one hundred structural differences between male and female brains in a recent study. Gurian comments:

“Men, because we tend to compartmentalize our communication into a smaller part of the brain, we tend to be better at getting right to the issue, the more female brain (will) gather a lot of material, gather a lot of information, feel a lot, hear a lot, sense a lot.“

One major structural difference that Gurian has made clear is that males generally have more activity in the mechanical centers of the brain, while women have more activity in centers of the brain dedicated to verbal communication and emotion. A clear example of this is the hypothetical situation of giving a child a toy. He explains it as such:

“That doll becomes life-like to that girl, but you give it to a two-year-old boy and you are more likely, not all the time, but you are more likely than not to see that boy try to take the head off the doll. He thinks spatial-mechanical. He’s using the doll as an object.“

Another expert, Dr. Marianne Legato, says it all boils down to genetics, noting that the Y chromosome (which only males carry) has “at least 21 unique genes unique to males which control many of the body’s operations down to the level of the cells.”

Gurian agrees that culture is significant in brain development, but argues that biology plays an equally important role. He makes a point of how the MRI scans show that the female corpus callosum, the center of the brain which regulates communication between the brain’s hemispheres, is larger than the male’s. On the other hand, the scans also show that information flows more freely between the hemispheres of the male brain.

The exact role that brain structure plays in behavior, however, has been an area of considerable contention in science for literally hundreds of years. Early studies in craniometry conducted by Paul Pierre Broca were used to attempt to distinguish differences between human races, though have now been dismissed as scientific racism. The nature-nurture debate has raged for centuries in a variety of forms, without yet any clear resolution as to the role in which innate biological tendencies interact with environmental conditions or willed behavior. As such, studies relating to brain structure and claims to innate behavior often generate substantial controversy.

MIT anthropologist of science Joseph Dumit’s study of brain imaging in his book Picturing Personhood: Brain Scans and Biomedical Identity, noted that the apparent “transparency” of such pictures (the appearance that they can be easily interpreted by laymen, when they are often the source of ambiguity and dispute by even highly-trained neurosurgeons) has led to their proliferation as indicators of objective truth in media and in courts of law, and that such conclusions are often knowingly exaggerated by the specialists creating the images for better visual effect.

The timing of Gurian’s book comes on the heels of another controversy over gender differences sparked by comments made by Harvard president Lawrence Summers, who blamed low numbers of women in the sciences on genetic differences. Summers has been criticized by a large number of academics and scientists, as well as by many news publications, in the wake of what he was reported as saying during a conference on January 14.

Sunday, February 17, 2008

In a press release today, California-based Hallmark/Westland Meat Packing Co. indicated that it has voluntarily recalled just over 143 million pounds (65 million kilograms) of raw and frozen beef products, which is considered to be the largest single recall of beef products in U.S. history. The move follows an investigation by the United States Department of Agriculture (USDA) into allegations of animal cruelty and mishandling of cattle destined for the human food chain.

The USDA’s Food Safety and Inspection Service (FSIS) had determined that beef products produced by the Chino, California company were unfit for human consumption as the cattle had not received “complete and proper inspection.”

The recall has been designated as Class II, which the USDA describes as “a health hazard situation where there is a remote probability of adverse health consequences from the use of the product.”

On Friday, Secretary of Agriculture Ed Schafer indicated that charges had been laid against employees of the plant alleged to have taken part in the mistreatment of cattle. “Today [Friday], the San Bernardino District Attorney filed felony animal cruelty charges against two employees who were terminated by Hallmark/Westland Meat Packing Company,” said Schafer. “It is regrettable that these animals were mistreated and I am encouraged and supportive of these actions by the San Bernardino District Attorney in response to this mistreatment.”

The USDA learned of the possible inhumane handling of non-ambulatory (disabled) cattle at the packing plant on January 30 and has since suspended activities at the plant. “We continue to conduct a thorough investigation into whether any violations of food safety or additional humane handling regulations have occurred,” said Secretary Schafer in a press release. “On February 8, our Office of the Inspector General took the lead on the investigation. At that time, USDA extended the administrative hold on Hallmark/Westland Meat Packing Company products for the National School Lunch Program, the Emergency Food Assistance Program and the Food Distribution Program on Indian Reservations while the investigation continues,” said Schafer.

The FSIS reported that Hallmark/Westland had not contacted the FSIS public health veterinarian, as required, when cattle became ill or disabled after undergoing ante-mortem (slaughter) inspection, putting the company out of compliance with FSIS regulations. “Because the cattle did not receive complete and proper inspection FSIS has determined them to be unfit for human food and the company is conducting a recall,” explained Secretary Schafer.

The cruelty charges stem from an undercover video that reportedly showed sick cattle being moved by crews using forklifts.

“Words cannot accurately express how shocked and horrified I was at the depictions contained on the video that was taken by an individual who worked at our facility from October 3 thru November 14, 2007,” said Steve Mendell, President, Westland Meat Co. and Hallmark Meat Packing. “We have taken swift action regarding the two employees identified on the video and have already implemented aggressive measures to ensure all employees follow our humane handling policies and procedures. We are also cooperating with the USDA investigators on the allegations of inhumane handling treatment which is a serious breech of our company’s policies and training.”

The USDA stressed that it is “extremely unlikely” that the cattle involved were at risk for Bovine spongiform encephalopathy (BSE) or mad-cow disease due to the employment of multiple safeguards. The USDA felt the recall was required, however, as the plant had allegedly violated USDA regulations.

The recall involves raw and frozen beef products produced on various dates from February 1, 2006 to February 2, 2008. For further information about the recall, consumers, media, and distributors are encouraged to contact Hallmark/Westland’s Plant Manager Stan Mendell or Food Safety Consultant Steve Sayer at (909) 590-3340 or the FSIS website, www.fsis.usda.gov.

Wednesday, October 13, 2010

The rescue of the Chilean miners trapped in the San José Mine in Copiapó, codenamed Operación San Lorenzo (San Lorenzo Operation), began on Tuesday night, at around 20:00 local time (23:00 UTC).

Florencio Ávalos was the first miner to be rescued, at 00:12 local time (03:12 UTC) on Wednesday. He was wearing a shirt signed by all his fellow miners. “The first miner is already with us. We saw it all, him hugging his wife Monica and his son Byron,” said President Piñera shortly after the first rescue. “We still have a long journey.”

“This will be recorded on every single Chilean heart forever,” Piñera added. “I hope the miners’ hope stay with us, just like the [February] earthquake victims’ [hope] and what the earthquake took off. We know that the disasters unite us all.”

All the 33 miners were rescued. The last miner, Luis Urzúa, was rescued at 21:55 Chile time (00:55 UTC). “It is a pleasure to be Chilean, [I’m] proud,” said Luis Urzúa to President Piñera. “In honour of the miners, their families, the rescuers […] let’s sing our national anthem. Viva Chile Mierda!,” said Piñera. Urzúa thanked Mining Minister Golborne and the First Lady Cecilia Morel for “fighting for their lives.” “I’m proud of my fellow miners,” Urzúa added.

Six rescuers, including a miner and a paramedic, descended to the miners’ shelter using the Fénix 3 capsule which was specially constructed for the rescue. They performed check-ups and talk with the miners before taking them back to the surface. The rescuers still don’t leave the mine.

The Fénix 3 capsules are 3.95 metres in height and weigh about 460 kilograms. They have an armour, an oxygen tube and a microphone. The occupants helmets contain an intercom to keep them in contact with the rescue team on the surface.

President of Chile Piñera assisted to the rescue. Bolivian President Evo Morales could not attend Carlos Mamani’s rescue. Mamani is the only Bolivian miner in the group.

A mass for the miners was conducted at 18:00 local time (21:00 UTC). The rescue takes between 15 and 20 minutes for each miner.

On Tuesday, Mayor of Copiapó Maglio Cicardini announced that the municipal schools in the city will have no classes this Wednesday “to transform the rescue of the Atacama’s 33 in a familiar meeting,” Radio Cooperativa reported.

“The miners will be taken to the Copiapó Regional Hospital for medical checkup, where they will have to stay for 48 hours,” Health Minister Mañalich said to Televisión Nacional de Chile.

Celebrations are taking place in several Chilean cities. In Santiago de Chile, people gathered in one of the most important points of the city, Plaza Italia. In Pichilemu, tens of cars are passing over its most important streets. In Copiapó, people gathered in its main square to assist a massive concert.

On August 5, 33 miners were trapped more than 700 meters (2,300 ft) underground, in the San José copper–gold mine, located about 40 kilometers north of Copiapó, Chile.

The youngest trapped miner is 19 years old, and the oldest is 63. There were several rescue attempts before reaching the miners’ shelter on August 22. The National Emergencies Office of Chile (ONEMI) released a list of the trapped miners on August 6, which included Franklin Lobos Ramírez, a retired footballer.

Chile is the worlds top producer of copper, according to The Economist. The San José Mine is owned by the San Esteban Mining Company (Empresa Minera San Esteban). The mine was closed down in 2007, after relatives of a miner who had died sued the company executives, but the mine was re–opened in 2008.

It was originally estimated that “it would take three to four months to complete the rescue of the trapped miners”. There were three plans to reach the miners: “Plan A” using a Strata 950 drill, “Plan B” using a Schramm T130XD drill, and “Plan C” using a RIG-422 drill. The first to reach the miners was “Plan B”, early on Saturday 9.

The last step of their rescue, announced by Health Minister Jaime Mañalich, was originally due to begin on Tuesday. Laurence Golborne, Minery Minister said “If it is possible, and the cement sets before and we don’t have any impediments to doing it, it would be wonderful,” in a press conference on Monday. The men will be extracted in a steel rescue capsule 54 cm (21 inches) in diameter.

On September 4, Chilean filmmaker Rodrigo Ortúzar announced plans to film a movie about the accident, called “Los 33” (“The 33”). The film will be released in 2011.

One miner is Bolivian, and the other 32 are Chilean.

Raúl Bustos, 40 years old, is an hydraulics engineer. He left his job in Talcahuano after the February 27 earthquake to work in the mine.

Daniel Herrera, 27 years old, is a lorry driver. He has acted as paramedic assistant in the mine. He said to La Tercera “the miners were unhappy with the psychologist in the rescue team.”

Claudio Acuña, miner, is fan of the Colo-Colo football club. The BBC reports he is aged 56, but El Comercio says he is 44.

Pedro Cortez is aged 24. He joined the mine with his friend Carlos Bugueño. Cortez is an electrician, and lost a finger in the mine a year ago.

File:Juan Aguilar with President Piñera.jpg

A native of Los Lagos, Juan Aguilar is 49 years old. Aguilar is married to Cristy Coronado, according to El Comercio. Aguilar works as a supervisor.

Mario Sepúlveda is a 39 years old electrician native of Parral; he is married. He has been the spokesman of the most of the miners’ videos. Mario Sepúlveda was the second miner to be rescued, on Wednesday at 01:10 local time (04:10 UTC).

Víctor Zamora is a 33 years old auto mechanic. Zamora is married to Jéssica Cortez, who confirmed she was pregnant while he was in the mine.

Osman Araya is 30 years old, and married. He began working as miner four months before the accident.

Florencio Ávalos is 31 years old. He is the brother of Renán Ávalos, who is also trapped in the mine. He worked as driver in San José. Ávalos filmed videos, sent later to his relatives.

Ávalos was the first miner to be rescued, on Wednesday at 00:10 local time (03:10 UTC).

Jorge Galleguillos, 56 years old, has worked all his life in the mine. He said in one video he was feeling unwell; he takes medication for hypertension.

Carlos Barrios is a 27 years old miner. His father, Antenor Barrios, told Agence France-Presse: “I find he’s very strong and has enthusiasm. He spoke loud and clear. I was excited.”

Franklin Lobos Ramírez is a 53 years old retired footballer. He played for Cobresal, Deportes Antofagasta, Club de Deportes Santiago Wanderers and Unión La Calera, and briefly for the Chile national football team. Lobos had worked as a truck driver in the mine.

Yonni Barrios, called “The Doctor”, is a 50 years old electrician. He has knowledge of first aid, and was given responsibility for monitoring the health of his colleagues. “I felt I was in hell,” Barrios said in a letter to his wife.

Carlos Bugueño, 27 years old, joined the mine with Pedro Cortez. Previously, he worked as a watchman.

Alex Vega Salazar is a 31 years old heavy machinery mechanic. He is married to Jessica Salgado, and celebrated his birthday in the mine on September 22.

Ariel Ticona is a 29 years old miner. His wife, Margarita gave birth to his daughter on September 14. She was named Esperanza (Hope), at Ticona’s request.

Richard Villarroel is a 27 years old mechanic from Coyhaique.

Edison Peña is a 34 years old miner. “I want to go out soon,” he said on his first contact with his relatives. “I want to be free, I want to see the sun,” he added. He is a fan of Elvis Presley.

Claudio Yáñez is 34 years old, and works as drill operator.

José Ojeda, 46 years old, is the master driller. Ojeda is widowed and diabetic.

Luis Urzúa is a 54 year old topographer. He is the shift-leader, and was the first miner to talk with authorities. He is known as Don Lucho among the miners. He draw plans of the area of the mine where they are trapped.

Urzúa will be the last miner to leave the mine.

José Henríquez is a 54 years old drill master. He is also an evangelical preacher, and has worked in mines for 33 years.

Víctor Segovia is a 48 years old electrician. He is in charge of writing down everything that happens in the mine.

Pablo Rojas is a 45 years old explosives loader. Married, he had been working less than six months in the mine.

Juan Illanes is a 51 year old miner. He was a sergeant in the Beagle border conflict between Chile and Argentina in 1978, the incident which almost provoked a war between the countries.

Illanes was rescued on Wednesday, at 02:07 local time (05:07 UTC).

Jimmy Sánchez, 19, is the youngest miner. He had been working in the mine for five months before the accident. His role is to check the temperature and humidity in the mine.

Samuel Ávalos is a 43 years miner. His wife Ruth said “he was addicted to the cocaine.” His role in the rescue is to check air quality in the area the miners are living. According to the BBC, “Ávalos has worked in the mine for five months.”

Mario Gómez, aged 63, is the oldest of the miners. He has worked 51 years as miner. His father was also a miner, and is nicknamed “El Navegao” (“The Sailed One”). He was thinking of retiring in November.

Gómez also wrote the message “Estamos bien en el refugio los 33” (“We are fine in the shelter the 33 [of us]”).

Segovia is 48 years old. He is married to Jessica Chille, who said “To hear his voice was a confort to my heart,” after talking with him for the first time in 24 days. His sister María, was nicknamed “La Alcaldesa” (“The Mayoress”) for her leading role at Campamento Esperanza. His father, Darío Senior, was trapped in a mine for a week, and suffered serious injuries after two other mining accidents, according to the BBC.

Carlos Mamani is a 23 years old heavy equipment operator. He is also the only non-Chilean miner; Mamani is Bolivian. He began working in the mine just five days before the accident.

He was rescued at 03:11 local time (06:11 UTC) on Wednesday.

Renán Ávalos is a 29 years old miner, single, who had been working for five months in the mine before the accident. Florencio Ávalos is his brother.

Omar Reygadas is a 56 year old electrician. He began working in the mine shortly before the accident.

Esteban Rojas is a 44 years old miner. Rojas is married to Jessica Yáñez.

Thursday, June 23, 2011

NASA’s Cassini–Huygens spacecraft has discovered evidence for a large-scale saltwater reservoir beneath the icy crust of Saturn’s moon Enceladus. The data came from the spacecraft’s direct analysis of salt-rich ice grains close to the jets ejected from the moon. The study has been published in this week’s edition of the journal Nature.

Data from Cassini’s cosmic dust analyzer show the grains expelled from fissures, known as tiger stripes, are relatively small and usually low in salt far away from the moon. Closer to the moon’s surface, Cassini found that relatively large grains rich with sodium and potassium dominate the plumes. The salt-rich particles have an “ocean-like” composition and indicate that most, if not all, of the expelled ice and water vapor comes from the evaporation of liquid salt-water. When water freezes, the salt is squeezed out, leaving pure water ice behind.

Cassini’s ultraviolet imaging spectrograph also recently obtained complementary results that support the presence of a subsurface ocean. A team of Cassini researchers led by Candice Hansen of the Planetary Science Institute in Tucson, Arizona, measured gas shooting out of distinct jets originating in the moon’s south polar region at five to eight times the speed of sound, several times faster than previously measured. These observations of distinct jets, from a 2010 flyby, are consistent with results showing a difference in composition of ice grains close to the moon’s surface and those that made it out to the E ring, the outermost ring that gets its material primarily from Enceladean jets. If the plumes emanated from ice, they should have very little salt in them.

“There currently is no plausible way to produce a steady outflow of salt-rich grains from solid ice across all the tiger stripes other than salt water under Enceladus’s icy surface,” said Frank Postberg, a Cassini team scientist at the University of Heidelberg in Germany.

The data suggests a layer of water between the moon’s rocky core and its icy mantle, possibly as deep as about 50 miles (80 kilometers) beneath the surface. As this water washes against the rocks, it dissolves salt compounds and rises through fractures in the overlying ice to form reserves nearer the surface. If the outermost layer cracks open, the decrease in pressure from these reserves to space causes a plume to shoot out. Roughly 400 pounds (200 kilograms) of water vapor is lost every second in the plumes, with smaller amounts being lost as ice grains. The team calculates the water reserves must have large evaporating surfaces, or they would freeze easily and stop the plumes.

“We imagine that between the ice and the ice core there is an ocean of depth and this is somehow connected to the surface reservoir,” added Postberg.

The Cassini mission discovered Enceladus’ water-vapor and ice jets in 2005. In 2009, scientists working with the cosmic dust analyzer examined some sodium salts found in ice grains of Saturn’s E ring but the link to subsurface salt water was not definitive. The new paper analyzes three Enceladus flybys in 2008 and 2009 with the same instrument, focusing on the composition of freshly ejected plume grains. In 2008, Cassini discovered a high “density of volatile gases, water vapor, carbon dioxide and carbon monoxide, as well as organic materials, some 20 times denser than expected” in geysers erupting from the moon. The icy particles hit the detector target at speeds between 15,000 and 39,000 MPH (23,000 and 63,000 KPH), vaporizing instantly. Electrical fields inside the cosmic dust analyzer separated the various constituents of the impact cloud.

“Enceladus has got warmth, water and organic chemicals, some of the essential building blocks needed for life,” said Dennis Matson in 2008, Cassini project scientist at NASA’s Jet Propulsion Laboratory in Pasadena, California.

“This finding is a crucial new piece of evidence showing that environmental conditions favorable to the emergence of life can be sustained on icy bodies orbiting gas giant planets,” said Nicolas Altobelli, the European Space Agency’s project scientist for Cassini.

“If there is water in such an unexpected place, it leaves possibility for the rest of the universe,” said Postberg.

Monday, December 11, 2006

On December 7, BBC News reported a story about Dr James Anderson, a teacher in the Computer Science department at the University of Reading in the United Kingdom. In the report it was stated that Anderson had “solved a very important problem” that was 1200 years old, the problem of division by zero. According to the BBC, Anderson had created a new number, that he had named “nullity”, that lay outside of the real number line. Anderson terms this number a “transreal number”, and denotes it with the Greek letter ? {\displaystyle \Phi } . He had taught this number to pupils at Highdown School, in Emmer Green, Reading.

The BBC report provoked many reactions from mathematicians and others.

In reaction to the story, Mark C. Chu-Carroll, a computer scientist and researcher, posted a web log entry describing Anderson as an “idiot math teacher”, and describing the BBC’s story as “absolutely infuriating” and a story that “does an excellent job of demonstrating what total innumerate idiots reporters are”. Chu-Carroll stated that there was, in fact, no actual problem to be solved in the first place. “There is no number that meaningfully expresses the concept of what it means to divide by zero.”, he wrote, stating that all that Anderson had done was “assign a name to the concept of ‘not a number'”, something which was “not new” in that the IEEE floating-point standard, which describes how computers represent floating-point numbers, had included a concept of “not a number”, termed “NaN“, since 1985. Chu-Carroll further continued:

“Basically, he’s defined a non-solution to a non-problem. And by teaching it to his students, he’s doing them a great disservice. They’re going to leave his class believing that he’s a great genius who’s solved a supposed fundamental problem of math, and believing in this silly nullity thing as a valid mathematical concept.

“It’s not like there isn’t already enough stuff in basic math for kids to learn; there’s no excuse for taking advantage of a passive audience to shove this nonsense down their throats as an exercise in self-aggrandizement.

“To make matters worse, this idiot is a computer science professor! No one who’s studied CS should be able to get away with believing that re-inventing the concept of NaN is something noteworthy or profound; and no one who’s studied CS should think that defining meaningless values can somehow magically make invalid computations produce meaningful results. I’m ashamed for my field.”

There have been a wide range of other reactions from other people to the BBC news story. Comments range from the humorous and the ironic, such as the B1FF-style observation that “DIVIDION^[sic] BY ZERO IS IMPOSSIBLE BECAUSE MY CALCULATOR SAYS SO AND IT IS THE TRUTH” and the Chuck Norris Fact that “Only Chuck Norris can divide by zero.” (to which another reader replied “Chuck Norris just looks at zero, and it divides itself.”); through vigourous defences of Dr Anderson, with several people quoting the lyrics to Ira Gershwin‘s song “They All Laughed (At Christopher Columbus)”; to detailed mathematical discussions of Anderson’s proposed axioms of transfinite numbers.

Several readers have commented that they consider this to have damaged the reputation of the Computer Science department, and even the reputation of the University of Reading as a whole. “By publishing his childish nonsense the BBC actively harms the reputation of Reading University.” wrote one reader. “Looking forward to seeing Reading University maths application plummit.” wrote another. “Ignore all research papers from the University of Reading.” wrote a third. “I’m not sure why you refer to Reading as a ‘university’. This is a place the BBC reports as closing down its physics department because it’s too hard. Lecturers at Reading should stick to folk dancing and knitting, leaving academic subjects to grown ups.” wrote a fourth. Steve Kramarsky lamented that Dr Anderson is not from the “University of ‘Rithmetic“.

Several readers criticised the journalists at the BBC who ran the story for not apparently contacting any mathematicians about Dr Anderson’s idea. “Journalists are meant to check facts, not just accept whatever they are told by a self-interested third party and publish it without question.” wrote one reader on the BBC’s web site. However, on Slashdot another reader countered “The report is from Berkshire local news. Berkshire! Do you really expect a local news team to have a maths specialist? Finding a newsworthy story in Berkshire probably isn’t that easy, so local journalists have to cover any piece of fluff that comes up. Your attitude to the journalist should be sympathy, not scorn.”

Ben Goldacre, author of the Bad Science column in The Guardian, wrote on his web log that “what is odd is a reporter, editor, producer, newsroom, team, cameraman, soundman, TV channel, web editor, web copy writer, and so on, all thinking it’s a good idea to cover a brilliant new scientific breakthrough whilst clearly knowing nothing about the context. Maths isn’t that hard, you could even make a call to a mathematician about it.”, continuing that “it’s all very well for the BBC to think they’re being balanced and clever getting Dr Anderson back in to answer queries about his theory on Tuesday, but that rather skips the issue, and shines the spotlight quite unfairly on him (he looks like a very alright bloke to me).”.

From reading comments on his own web log as well as elsewhere, Goldacre concluded that he thought that “a lot of people might feel it’s reporter Ben Moore, and the rest of his doubtless extensive team, the people who drove the story, who we’d want to see answering the questions from the mathematicians.”.

Andrej Bauer, a professional mathematician from Slovenia writing on the Bad Science web log, stated that “whoever reported on this failed to call a university professor to check whether it was really new. Any university professor would have told this reporter that there are many ways of dealing with division by zero, and that Mr. Anderson’s was just one of known ones.”

Ollie Williams, one of the BBC Radio Berkshire reporters who wrote the BBC story, initially stated that “It seems odd to me that his theory would get as far as television if it’s so easily blown out of the water by visitors to our site, so there must be something more to it.” and directly responded to criticisms of BBC journalism on several points on his web log.

He pointed out that people should remember that his target audience was local people in Berkshire with no mathematical knowledge, and that he was “not writing for a global audience of mathematicians”. “Some people have had a go at Dr Anderson for using simplified terminology too,” he continued, “but he knows we’re playing to a mainstream audience, and at the time we filmed him, he was showing his theory to a class of schoolchildren. Those circumstances were never going to breed an in-depth half-hour scientific discussion, and none of our regular readers would want that.”.

On the matter of fact checking, he replied that “if you only want us to report scientific news once it’s appeared, peer-reviewed, in a recognised journal, it’s going to be very dry, and it probably won’t be news.”, adding that “It’s not for the BBC to become a journal of mathematics — that’s the job of journals of mathematics. It’s for the BBC to provide lively science reporting that engages and involves people. And if you look at the original page, you’ll find a list as long as your arm of engaged and involved people.”.

Williams pointed out that “We did not present Dr Anderson’s theory as gospel, although with hindsight it could have been made clearer that this is very much a theory and by no means universally accepted. But we certainly weren’t shouting a mathematical revolution from the rooftops. Dr Anderson has, in one or two places, been chastised for coming to the media with his theory instead of his peers — a sure sign of a quack, boffin and/or crank according to one blogger. Actually, one of our reporters happened to meet him during a demonstration against the closure of the university’s physics department a couple of weeks ago, got chatting, and discovered Dr Anderson reckoned he was onto something. He certainly didn’t break the door down looking for media coverage.”.

Some commentators, at the BBC web page and at Slashdot, have attempted serious mathematical descriptions of what Anderson has done, and subjected it to analysis. One description was that Anderson has taken the field of real numbers and given it complete closure so that all six of the common arithmetic operators were surjective functions, resulting in “an object which is barely a commutative ring (with operators with tons of funky corner cases)” and no actual gain “in terms of new theorems or strong relation statements from the extra axioms he has to tack on”.

Jamie Sawyer, a mathematics undergraduate at the University of Warwick writing in the Warwick Maths Society discussion forum, describes what Anderson has done as deciding that R ? { ? ? , + ? } {\displaystyle \mathbb {R} \cup \lbrace -\infty ,+\infty \rbrace } , the so-called extended real number line, is “not good enough […] because of the wonderful issue of what 0 0 {\displaystyle {\frac {0}{0}}} is equal to” and therefore creating a number system R ? { ? ? , ? , + ? } {\displaystyle \mathbb {R} \cup \lbrace -\infty ,\Phi ,+\infty \rbrace } .

Andrej Bauer stated that Anderson’s axioms of transreal arithmetic “are far from being original. First, you can adjoin + ? {\displaystyle +\infty } and ? ? {\displaystyle -\infty } to obtain something called the extended real line. Then you can adjoin a bottom element to represent an undefined value. This is all standard and quite old. In fact, it is well known in domain theory, which deals with how to represent things we compute with, that adjoining just bottom to the reals is not a good idea. It is better to adjoin many so-called partial elements, which denote approximations to reals. Bottom is then just the trivial approximation which means something like ‘any real’ or ‘undefined real’.”

Commentators have pointed out that in the field of mathematical analysis, 0 0 {\displaystyle {\frac {0}{0}}} (which Anderson has defined axiomatically to be ? {\displaystyle \Phi } ) is the limit of several functions, each of which tends to a different value at its limit:

• lim x ? 0 x 0 {\displaystyle \lim _{x\to 0}{\frac {x}{0}}} has two different limits, depending from whether x {\displaystyle x} approaches zero from a positive or from a negative direction.
• lim x ? 0 0 x {\displaystyle \lim _{x\to 0}{\frac {0}{x}}} also has two different limits. (This is the argument that commentators gave. In fact, 0 x {\displaystyle {\frac {0}{x}}} has the value 0 {\displaystyle 0} for all x ? 0 {\displaystyle x\neq 0} , and thus only one limit. It is simply discontinuous for x = 0 {\displaystyle x=0} . However, that limit is different to the two limits for lim x ? 0 x 0 {\displaystyle \lim _{x\to 0}{\frac {x}{0}}} , supporting the commentators’ main point that the values of the various limits are all different.)
• Whilst sin ? 0 = 0 {\displaystyle \sin 0=0} , the limit lim x ? 0 sin ? x x {\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}} can be shown to be 1, by expanding the sine function as an infinite Taylor series, dividing the series by x {\displaystyle x} , and then taking the limit of the result, which is 1.
• Whilst 1 ? cos ? 0 = 0 {\displaystyle 1-\cos 0=0} , the limit lim x ? 0 1 ? cos ? x x {\displaystyle \lim _{x\to 0}{\frac {1-\cos x}{x}}} can be shown to be 0, by expanding the cosine function as an infinite Taylor series, dividing the series subtracted from 1 by x {\displaystyle x} , and then taking the limit of the result, which is 0.

Commentators have also noted l’Hôpital’s rule.

It has been pointed out that Anderson’s set of transreal numbers is not, unlike the set of real numbers, a mathematical field. Simon Tatham, author of PuTTY, stated that Anderson’s system “doesn’t even think about the field axioms: addition is no longer invertible, multiplication isn’t invertible on nullity or infinity (or zero, but that’s expected!). So if you’re working in the transreals or transrationals, you can’t do simple algebraic transformations such as cancelling x {\displaystyle x} and ? x {\displaystyle -x} when both occur in the same expression, because that transformation becomes invalid if x {\displaystyle x} is nullity or infinity. So even the simplest exercises of ordinary algebra spew off a constant stream of ‘unless x is nullity’ special cases which you have to deal with separately — in much the same way that the occasional division spews off an ‘unless x is zero’ special case, only much more often.”

Tatham stated that “It’s telling that this monstrosity has been dreamed up by a computer scientist: persistent error indicators and universal absorbing states can often be good computer science, but he’s stepped way outside his field of competence if he thinks that that also makes them good maths.”, continuing that Anderson has “also totally missed the point when he tries to compute things like 0 0 {\displaystyle 0^{0}} using his arithmetic. The reason why things like that are generally considered to be ill-defined is not because of a lack of facile ‘proofs’ showing them to have one value or another; it’s because of a surfeit of such ‘proofs’ all of which disagree! Adding another one does not (as he appears to believe) solve any problem at all.” (In other words: 0 0 {\displaystyle 0^{0}} is what is known in mathematical analysis as an indeterminate form.)

To many observers, it appears that Anderson has done nothing more than re-invent the idea of “NaN“, a special value that computers have been using in floating-point calculations to represent undefined results for over two decades. In the various international standards for computing, including the IEEE floating-point standard and IBM’s standard for decimal arithmetic, a division of any non-zero number by zero results in one of two special infinity values, “+Inf” or “-Inf”, the sign of the infinity determined by the signs of the two operands (Negative zero exists in floating-point representations.); and a division of zero by zero results in NaN.

Anderson himself denies that he has re-invented NaN, and in fact claims that there are problems with NaN that are not shared by nullity. According to Anderson, “mathematical arithmetic is sociologically invalid” and IEEE floating-point arithmetic, with NaN, is also faulty. In one of his papers on a “perspex machine” dealing with “The Axioms of Transreal Arithmetic” (Jamie Sawyer writes that he has “worries about something which appears to be named after a plastic” — “Perspex” being a trade name for polymethyl methacrylate in the U.K..) Anderson writes:

We cannot accept an arithmetic in which a number is not equal to itself (NaN != NaN), or in which there are three kinds of numbers: plain numbers, silent numbers, and signalling numbers; because, on writing such a number down, in daily discourse, we can not always distinguish which kind of number it is and, even if we adopt some notational convention to make the distinction clear, we cannot know how the signalling numbers are to be used in the absence of having the whole program and computer that computed them available. So whilst IEEE floating-point arithmetic is an improvement on real arithmetic, in so far as it is total, not partial, both arithmetics are invalid models of arithmetic.

In fact, the standard convention for distinguishing the two types of NaNs when writing them down can be seen in ISO/IEC 10967, another international standard for how computers deal with numbers, which uses “qNaN” for non-signalling (“quiet”) NaNs and “sNaN” for signalling NaNs. Anderson continues:

[NaN’s] semantics are not defined, except by a long list of special cases in the IEEE standard.

“In other words,” writes Scott Lamb, a BSc. in Computer Science from the University of Idaho, “they are defined, but he doesn’t like the definition.”.

The main difference between nullity and NaN, according to both Anderson and commentators, is that nullity compares equal to nullity, whereas NaN does not compare equal to NaN. Commentators have pointed out that in very short order this difference leads to contradictory results. They stated that it requires only a few lines of proof, for example, to demonstrate that in Anderson’s system of “transreal arithmetic” both 1 = 2 {\displaystyle 1=2} and 1 ? 2 {\displaystyle 1\neq 2} , after which, in one commentator’s words, one can “prove anything that you like”. In aiming to provide a complete system of arithmetic, by adding extra axioms defining the results of the division of zero by zero and of the consequent operations on that result, half as many again as the number of axioms of real-number arithmetic, Anderson has produced a self-contradictory system of arithmetic, in accordance with Gödel’s incompleteness theorems.

One reader-submitted comment appended to the BBC news article read “Step 1. Create solution 2. Create problem 3. PROFIT!”, an allusion to the business plan employed by the underpants gnomes of the comedy television series South Park. In fact, Anderson does plan to profit from nullity, having registered on the 27th of July, 2006 a private limited company named Transreal Computing Ltd, whose mission statement is “to develop hardware and software to bring you fast and safe computation that does not fail on division by zero” and to “promote education and training in transreal computing”. The company is currently “in the research and development phase prior to trading in hardware and software”.

In a presentation given to potential investors in his company at the ANGLE plc showcase on the 28th of November, 2006, held at the University of Reading, Anderson stated his aims for the company as being:

• To build a transreal computer.
• To derive Maxwell’s equations and classical gravitation in transreal numbers so that they have no naked singularities (infinities affecting a neighbourhood of space).
• To collaborate with anyone who wants to unify Quantum Electro-Dynamics with gravitation.

To investors, Anderson makes the following promises:

• “I will help you develop a curriculum for transreal arithmetic if you want me to.”
• “I will help you unify QED and gravitation if you want me to.”
• “I will build a transreal supercomputer.”

He asks potential investors:

• “How much would you pay to know that the engine in your ship, car, aeroplane, or heart pacemaker won’t just stop dead?”
• “How much would you pay to know that your Government’s computer controlled military hardware won’t just stop or misfire?”

The current models of computer arithmetic are, in fact, already designed to allow programmers to write programs that will continue in the event of a division by zero. The IEEE’s Frequently Asked Questions document for the floating-point standard gives this reply to the question “Why doesn’t division by zero (or overflow, or underflow) stop the program or trigger an error?”:

“The [IEEE] 754 model encourages robust programs. It is intended not only for numerical analysts but also for spreadsheet users, database systems, or even coffee pots. The propagation rules for NaNs and infinities allow inconsequential exceptions to vanish. Similarly, gradual underflow maintains error properties over a precision’s range.

“When exceptional situations need attention, they can be examined immediately via traps or at a convenient time via status flags. Traps can be used to stop a program, but unrecoverable situations are extremely rare. Simply stopping a program is not an option for embedded systems or network agents. More often, traps log diagnostic information or substitute valid results.”

Simon Tatham stated that there is a basic problem with Anderson’s ideas, and thus with the idea of building a transreal supercomputer: “It’s a category error. The Anderson transrationals and transreals are theoretical algebraic structures, capable of representing arbitrarily big and arbitrarily precise numbers. So the question of their error-propagation semantics is totally meaningless: you don’t use them for down-and-dirty error-prone real computation, you use them for proving theorems. If you want to use this sort of thing in a computer, you have to think up some concrete representation of Anderson transfoos in bits and bytes, which will (if only by the limits of available memory) be unable to encompass the entire range of the structure. And the point at which you make this transition from theoretical abstract algebra to concrete bits and bytes is precisely where you should also be putting in error handling, because it’s where errors start to become possible. We define our theoretical algebraic structures to obey lots of axioms (like the field axioms, and total ordering) which make it possible to reason about them efficiently in the proving of theorems. We define our practical number representations in a computer to make it easy to detect errors. The Anderson transfoos are a consequence of fundamentally confusing the one with the other, and that by itself ought to be sufficient reason to hurl them aside with great force.”

Geomerics, a start-up company specializing in simulation software for physics and lighting and funded by ANGLE plc, had been asked to look into Anderson’s work by an unnamed client. Rich Wareham, a Senior Research and Development Engineer at Geomerics and a MEng. from the University of Cambridge, stated that Anderson’s system “might be a more interesting set of axioms for dealing with arithmetic exceptions but it isn’t the first attempt at just defining away the problem. Indeed it doesn’t fundamentally change anything. The reason computer programs crash when they divide by zero is not that the hardware can produce no result, merely that the programmer has not dealt with NaNs as they propagate through. Not dealing with nullities will similarly lead to program crashes.”

“Do the Anderson transrational semantics give any advantage over the IEEE ones?”, Wareham asked, answering “Well one assumes they have been thought out to be useful in themselves rather than to just propagate errors but I’m not sure that seeing a nullity pop out of your code would lead you to do anything other than what would happen if a NaN or Inf popped out, namely signal an error.”.

Sunday, April 17, 2005

The body of Sarah Lunde, a missing 13-year-old Florida girl, was found very close to her home Saturday, authorities said.

Lunde’s body was found by a search-and-rescue dog in an abandoned fish farm about a half-mile away from her home, according to David Gee, sheriff of Hillsborough County. Lunde had been missing since last Sunday from her home in Ruskin, a town to the south of Tampa.

Gee said the body had a green cast on one arm, just as Sarah did. “The green cast is apparent,” he said. He also stated that the body had been in the water for a long period of time, and that an autopsy would be performed to determine the cause of Lunde’s death.

“The family is very distraught,” Gee added.

According to CNN, David Onstott, 36, was charged late Saturday night with first-degree murder Gee said. “He is the defendant.”,Onstott confessed to the murder.He was arrested on Tuesday on a charge of aggravated assault with a deadly weapon. Aside from a 1995 sexual assault charge, Onstott is said to have been sighted at Lunde’s house hours after Lunde disappeared, and grabbed a half-empty beer bottle as he left. This could possibly link him to the numerous beer bottles found around the area, which, it is rumored, will be subjected to DNA testing. Onstott was also arraigned on Thursday on charges of not registering as a sex offender and is currently being held in the Hillsborough County Jail. Although his bond was set at $250,000, sheriff’s spokesman J.D. Callaway stated that since no bond was set on a Michigan drunk driving warrant Onstott is also being held for, there is no bond set on him for his various other charges, so Onstott is being held without bond for the moment.

This case is now the second such case in a month. Jessica Lunsford‘s body was found in Citrus County, north of Tampa, after she had been missing from her home for three weeks.

Convicted sex offender John E. Couey, who had been living near Lunsford’s home, was arrested and charged with her murder after he confessed.