Bannalia: trivial notes on themes diverse

Thursday, July 31, 2008

Escaping transcendence

›
When I was a teenager I was fond of 19th century novels such as Flaubert's Sentimental Education or Dostoevsky's Crime and Punishmen...
1 comment:
Sunday, July 27, 2008

Indirect survey

›
The usual way to statistically determine the prevalence of a given trait T in a population involves selecting a representative population s...
2 comments:
Wednesday, July 23, 2008

Formalizing predicate boundedness

›
Informally, we defined a predicate F to be bounded if the entities for which F is true can be enclosed in a reasonably "small" ...
Saturday, July 19, 2008

Cpp bignum arithmetic: part II

›
After having studied addition, subtraction and multiplication of C preprocessor bignums , let us now turn to division. To gain some insigh...
Tuesday, July 15, 2008

1015 + 6 = 1000000000000005.9

›
In a prior entry we saw how the internal representation of numbers in Google Docs spreadsheets as double precision IEEE 754 floating poin...
Friday, July 11, 2008

Hempel's paradox and bounded predicates

›
If a naturalist decides to inductively prove the sentence All ravens are black she is expected to go out to the country and seek for ravens,...
Monday, July 7, 2008

Cpp bignum arithmetic: part I

›
Adding two C preprocessor bignums is an easy task, we have to merely reproduce the basic algorithm taught at elementary school; if the bign...
‹
›
Home
View web version

About Me

My photo
Joaquín M López Muñoz
View my complete profile
Powered by Blogger.