Mathematics
Profile Activity
Meta user
Network profile
797
reputation
6
13

Pål GD

Associate professor in algorithms

Previously worked as

  • Leading Advisor Software Engineering
  • Sr Software Developer
  • Programmer
  • phone systems admin and electronics engineer.

Interests:

  • Software Engineering
  • Algorithms and Graph theory
  • Logic (mostly modal logics)
  • Applied algorithms and graph theory on Android
  • Climbing & bouldering
8
answers
3
questions
~47k
people reached

Communities (59)

Top network posts

Top tags (23)

Score 11
Posts 2
Posts % 18
Score 11
Posts 1
Score 11
Posts 1
Score 11
Posts 1
Score 11
Posts 1
Score 8
Posts 1
View all tags →

Top posts (11)

All Questions Answers
Votes Newest
18 Why did nobody prove undecidability by the “too many problems” argument? Nov 22 '17
11 What is the smallest unknown natural number? Jun 7 '15
8 An easy example of a non-constructive proof without an obvious “fix”? Jan 26 '15
7 Is $\pi = 3.14159…$ first-order definable in the reals? Jun 24 '16
7 What does the sign $\propto$ mean? Jan 27 '14
4 Determine whether the given set is countable Jun 8 '15
3 Can someone explain 4th dimensional objects? Apr 26 '15
3 Does there exist a connected 2-regular uncountable graph, or an uncountable path? Sep 10 '14
1 Neatest proof that set of finite subsets is countable? Apr 14 '13
1 Online tool for making graphs (vertices and edges)? Apr 26 '15
View all questions and answers →

Badges (19)

Gold

—

Silver

6

Rarest

Bronze

13

Rarest

View all badges →