Skip to Content »

Michi’s blog » Reaching for the postdoc world doorknocker

 Reaching for the postdoc world doorknocker

  • December 5th, 2007
  • 12:13 pm

The last postdoc carnival for 2007 is coming to town, and given my current position in my career, I thought I’d try to slowly edge into that arena as well.

A short background blurb for those who haven’t read this blog before – and for those who haven’t heard the story: I’m a mathematics PhD student from Sweden in Germany, living apart from my wife for about 2

3 People had this to say...

Gravatar

Michi, can I ask you a direct question?

(ahem).

Do there exist functions over finite domains which are partial, but cannot be proven to be so? Where the question of partiality is undecidable, in other words?

You wouldn’t believe it, but it actually is relevant for a quite concrete issue I came across.

Gravatar
  • Michi
  • December 6th, 2007
  • 18:53

What do you mean by function? And by partiality?

Gravatar

I’m guessing that this is the notion of “partial function” computer science people seem to be fond of. It’s like a function, but doesn’t have a value for every element of its domain.

Anyhow, I’m pretty sure this doesn’t happen for a finite domain. In that case it’s perfectly valid to say, “does this element have an image? does this one? and this one?” until you go through the whole set.

Want your say?

* Required fields. Your e-mail address will not be published on this site

You can use the following XHTML tags:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>