Mathematics
Meta user
Network profile
787
reputation
5
13

Pål GD

Leading Advisor Software Engineering, former researcher in Algorithms, former programmer, phone systems admin and electronics engineer.

Interests in

  • Software Engineering
  • Algorithms and Graph theory
  • Logic (mostly modal logics)
  • Applied algorithms and graph theory on Android
  • Climbing & bouldering
8
answers
3
questions
~42k
people reached
  • Bergen, Norway
  • pgdr
  • github.com/pgdr
  • Member for 7 years, 1 month
  • 153 profile views
  • Last seen Aug 2 '19 at 9:51

Communities (57)

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
6 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 (18)

Gold

—

Silver

5

Rarest

Bronze

13

Rarest

View all badges →