Mathematics
Meta user
Network profile
69
reputation
9

Patrick Browne

Apparently, this user prefers to keep an air of mystery about them.

0
answers
11
questions
~2k
people reached
  • Member for 1 year, 11 months
  • 33 profile views
  • Last seen Aug 12 at 16:18

Communities (7)

Top network posts

Top tags (16)

Score 0
Posts 7
Posts % 64
Score 0
Posts 5
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (11) All Questions Answers | Votes Newest

2 Translating from First Order Logic to Order-Sorted Logic Aug 11 '18
1 Inductive proof using Fitch software Aug 23 '18
1 Prove reflexivity using Fitch software Oct 27 '17
1 Relating First Order Theories and Equational Theories Nov 1 '17
1 How can I translate a Haskell code segment to a mathematical representation? Jun 12 '18
1 Can I justify removing a universal quantifier in this proof? Jul 5 '18
1 What are the features that make this proof constructive? Apr 25
0 What is the minimum size of the set and minimum power of a strict relation that can be used for a base case in an inductive proof? Apr 12 '18
0 Logical equivalence versus definitional equality Jan 8
0 Can I apply different transformations to each side of this inequality? Jan 26
View all questions and answers →

Badges (9)

Gold

—

Silver

—

Bronze

9

Rarest