If I had to choose one synth that would make sounds appropriate for Pink Floyd meets Daft Punk, it would be the Vermona Perfourmer MKII. That said, I wouldn’t feel safe having a perfourmer as my ONLY synth. It’s something that would be best if you’re planning on owning more than 2-3 synths. It’s also fairly expensive, but well within your budget.
If you don’t want to go that route, then I suggest you buy an A4 MK1 + another synth that will fit within your budget. I think going for an A4 + a nice mono synth is a great combo that just about anyone would enjoy.
My top mono synths to combine with an A4 right now would be:
MFB Dominion Club
Dreadbox Nyx (paraphonic)
Dreadbox Erebus
Vermona Mono Lancet/module
Moog Mother 32
But honestly, there are so many great mono synths nowadays that you have many MANY choices.
Of course, if you want to stick to just a single poly synth, then the list becomes much shorter. If you just want to look at poly synths, then the Abyss is definitely towards the top of the current options imo. It’s an extremely beautiful and musical synth and the only reason it isn’t more popular is because of the price. That said, it will never be known for having lots of features. If you buy the Abyss, it’s mostly for the pure sound of it (especially the raw oscillators–yum!).
When it comes down to it, we each must find our balance between sound/features. I tend to prefer sound over features since I’m a musician. A lot of the dudes giving advice on online forums are gearheads that simply buy/sell/buy/sell gear endlessly and talk specs all the time. If you are a musician, don’t make the mistake of listening to those guys–they will focus on specs and features to the exclusion of musicality/tone/workflow.
The Vermona Perfourmer MK2 and the Dreadbox Abyss sound better than all the other synths mentioned in this thread in my opinion. But they both lack in features which may/may not be important to you.
A4 is the jack of all trades so it’s hard to go wrong with one. Most people agree that it sounds great and it has tons of features, some of them quite amazing. If you decide to go that route, you’ll have money left over for another synth to pair up with it. MFB Dominion club is almost ridiculously powerful for the price (though it is a mono synth) and sounds amazing. But it’s definitely more on the Daft Punk, rather than Pink Floyd side of things. I think the Mother 32 sounds very good with the A4, and several of my professional musician friends use that combo for live performance. To me, the Mother 32 is more on the Pink Floyd than Daft Punk side of things (though I’m sure Daft Punk would enjoy it as well).
Good luck and remember to trust yourself more than anyone else–this is YOUR studio you’re building, after all.