Showing posts with label Time. Show all posts
Showing posts with label Time. Show all posts

Monday, March 8, 2010

Heidegger and science

The great things about youtube is the occaisonal gem: one such is Martin Heidegger on physics.

There was an old canard about i the 50's that relativity was understood by only a handful of physicists.

In Heidegger's moth this becomes quiet different: it begins with his notion that the new way to thinking can be followed by only a few - but that is reaaly not so unusual.  To dispel the notion that this elete might result from mere obscurantism he offers his listener the case of the radio "Apparat" and the television "Apparat".  You will be surprised to learn that these both required relativity - and that the physics underlying both is under stood by only 5 or 6 physicists.

Perhaps he meant only 5 ot 6 philosophers.  Let's see: 1964 ... Hermann Weyl had died in 1955; Paul ValĂ©ry had dies in 1945; Einstein had dies in 1955; Cassirer had dies in 1955; Hans Reichenbach in 1953 - maybe Heidegger was right!  Death had taken them all!  But Russell of the ABC's lived until 1970 - and Grunbaum on space-time came out in '63 in English - and was fundamentally mistaken on the relativism of any space-time metric ... so that leaves Feynman, Bethe, Gell-Mann -- no, what about John Wheeler, 1962 - oops, in English.  Besides he may have meant physicists in Bavaria or even physicists known to have praised Heidegger's thought-experiments in the philosphy of time ...

What I really hope is that he heard it from Husserl who was only having some fun at Heidegger's expense.

Wednesday, November 18, 2009

Learning Curl: {value expr} and Curl as an expression-based language

One thing that I have noticed in C# and Java programmers learning Curl is that if they rely on one of the available books (and even to some extent if they use the on-line Curl resources) there is a puzzle about {value some-expression} code blocks.

Here is an example from a book on Curl:
{value 2fortnights + 1day}
This an example of a Curl expression in which quantities are added (note the optional use of the plural for the user-defined quantity.)

{curl 7.0 applet}
{let public constant fortnight:Type = {type-of 14days}}
time in seconds is {value 2fortnights + 1day}
 
In keeping with the Gentle Slope approach to reduce the steepness of the Curl learning-curve, the text
time in seconds is
appears in the browser as text.
We say that this bit of text is at the top-level.
What follows, however, is an expression within curly braces and what we want to display is the result of that addition of the two Time quantities. We could have written this expression using optional parentheses as
{value (2fortnights + 1day) }
The {value } macro has been used to return a value: that is all.
To show that this is so, consider this alternative:
{String (2fortnights + 1day) }
The default constructor for the String class also returns a value (an instance of a String.)
Here is another alternative using assignment to a variable named tos:

{let tos:Time = 2fortnights + 1day}
The Time value held in the variable is {String tos}

And finally a complete alternative applet:

{curl 7.0 applet}
{let public constant fortnight:Type = {type-of 14days}}
{let tos:Time = 2fortnights + 1day}

The time in seconds equals {value 2fortnights + 1day}

Time quantity in the variable is {String tos}

Number of days: {format "%.0f", (tos / 1day)}

which displays in the browser as follows:

The time in seconds equals 2.5056e+006s

Time quantity in the variable is 2.5056e+006s

Number of days: 29

A more compact version of the applet using explicit {br} line formatting rather than relying on Curl to display the extra new lines might have been:

{curl 7.0 applet}
{let public constant fortnight:Type = {type-of 14days}}
{let tos:Time = 2fortnights + 1day}
The time in seconds equals {value 2fortnights + 1day} {br}
Time quantity in the variable is {String tos} {br}
Number of days: {format "%.0f", (tos / 1day)}

And so we proceed to wend our way up the 'Gentle Slope' of Curl.